sci-mathematics / alectryon

Toolkit for literate programming in Coq

Official package sites : https://github.com/cpitclaudel/alectryon/ ·

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.

v1.4.0-r1 :: 0 :: gentoo

Modified
License
MIT
Keywords
~amd64
USE flags
doc emacs

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_8
Build with Python 3.8
python3_9
Build with Python 3.9

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

dev-lang / python : An interpreted, interactive, object-oriented 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

879169
sci-mathematics/alectryon-1.4.0-r1 fails to compile (lto)
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>