Summary
A library to process Coq and Lean snippets embedded in text documents, showing goals and messages for each input sentence. Also a literate programming toolkit. The goal of Alectryon is to make it easy to write textbooks, blog posts, and other documents that mix interactive proofs and prose. Alectryon originally supported Coq only. Support for Lean is preliminary and restricted to Lean 3.
Versions
v1.4.0-r2 :: 0 :: gentoo
- Modified
- License
- MIT
- Keywords
- ~amd64
- USE flags
- doc emacs
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- emacs
- Add support for GNU Emacs
python_targets
- python3_10
- Build with Python 3.10
- python3_11
- Build with Python 3.11
- python3_12
- Build with Python 3.12
Dependencies
dev-python / beautifulsoup4 : Pythonic idioms for iterating, searching, and modifying an HTML/XML parse tree
dev-python / docutils : Python Documentation Utilities (reference reStructuredText impl.)
dev-python / dominate : Library for creating and manipulating HTML documents using an elegant DOM API
dev-python / myst-parser : Extended commonmark compliant parser, with bridges to Sphinx
dev-python / pygments : Pygments is a syntax highlighting package written in Python
dev-python / sphinx : Python documentation generator
sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant
Runtime Dependencies
dev-lang / python : Freethreading (no-GIL) version of Python programming language
dev-python / beautifulsoup4 : Pythonic idioms for iterating, searching, and modifying an HTML/XML parse tree
dev-python / docutils : Python Documentation Utilities (reference reStructuredText impl.)
dev-python / dominate : Library for creating and manipulating HTML documents using an elegant DOM API
dev-python / myst-parser : Extended commonmark compliant parser, with bridges to Sphinx
dev-python / pygments : Pygments is a syntax highlighting package written in Python
dev-python / sphinx : Python documentation generator
sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant
Bugs
- 879169
- sci-mathematics/alectryon-1.4.0-r2 [doc] fails to compile - AssertionError
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alectryon: enable py3.12 compat
Closes: https://bugs.gentoo.org/929789 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
Rename dev-python/{myst_parser → myst-parser}
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Andrew Ammerlaan · gentoo
sci-mathematics/alectryon: enable py3.11
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alectryon: fix distutil calls
Closes: https://bugs.gentoo.org/851843 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517
Bug: https://github.com/cpitclaudel/alectryon/pull/80 Closes: https://bugs.gentoo.org/836748 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/alectryon: new package; add 1.4.0
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>