search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
227 stars 36 forks source link

setup.cfg: alectryon.__version__ -> alectryon.__init__.__version__ #80

Closed xgqt closed 2 years ago

xgqt commented 2 years ago

Fixes build with setuptools>=61. Huge thanks to Ionen Wolkens (ionenwks) for finding the solution.

Bug: https://bugs.gentoo.org/836748 Signed-off-by: Maciej Barć xgqt@gentoo.org

cpitclaudel commented 2 years ago

Thanks a lot! Much appreciated :)