Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
alectryon
Toolkit for literate programming in Coq
https://github.com/cpitclaudel/alectryon/
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-04-29
sci-mathematics/alectryon: enable py3.12 compat
ba543e7
Maciej Barć
committed on 2024-04-29 18:57:28 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r2.ebuild
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
Commits on 2023-03-02
Rename dev-python/{myst_parser → myst-parser}
a2e235c
Michał Górny
committed on 2023-03-02 04:57:52 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
Commits on 2023-02-24
sci-mathematics/alectryon: enable py3.11
7c2ab6c
Andrew Ammerlaan
committed on 2023-02-24 10:56:35 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
Commits on 2023-01-14
*/*: remove py3.8 from PYTHON_COMPAT
ed46802
David Seifert
committed on 2023-01-14 12:51:19 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
Commits on 2022-06-14
sci-mathematics/alectryon: fix distutil calls
e3ead86
Maciej Barć
committed on 2022-06-14 10:22:58 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
Commits on 2022-04-04
sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517
6040428
Maciej Barć
committed on 2022-04-04 14:15:47 UTC
sci-mathematics/alectryon/alectryon-1.4.0-r1.ebuild
sci-mathematics/alectryon/files/alectryon-1.4.0-setup.cfg-version.patch
sci-mathematics/alectryon/alectryon-1.4.0.ebuild
Commits on 2022-03-05
sci-mathematics/alectryon: new package; add 1.4.0
a3045b0
Maciej Barć
committed on 2022-03-05 04:40:58 UTC
sci-mathematics/alectryon/Manifest
sci-mathematics/alectryon/alectryon-1.4.0.ebuild
sci-mathematics/alectryon/files/50alectryon-gentoo.el
sci-mathematics/alectryon/metadata.xml