sci-mathematics/alectryon
Toolkit for literate programming in Coq/Rocq
Runtime Dependencies
alectryon-2.0.0
>=dev-python/beautifulsoup4-4.11.2[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
>=dev-python/docutils-0.19[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
>=dev-python/dominate-2.7.0[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
>=dev-python/myst-parser-1.0.0[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
>=dev-python/pygments-2.14.0[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
>=dev-python/sphinx-6.1.3[python_targets_python3_13
(-)
?
,python_targets_python3_14
(-)
?
]
python_targets_python3_13?
( dev-lang/python:3.13 )
python_targets_python3_14?
( dev-lang/python:3.14 )


View
Download
Browse