BDEPEND=>=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(-)?] doc? ( dev-texlive/texlive-xetex media-fonts/fira-code media-fonts/libertine ) emacs? ( app-emacs/flycheck app-emacs/proofgeneral ) python_targets_python3_13? ( dev-lang/python:3.13 ) python_targets_python3_14? ( dev-lang/python:3.14 ) >=dev-python/gpep517-16[python_targets_python3_13(-)?,python_targets_python3_14(-)?] >=dev-python/setuptools-78.1.0[python_targets_python3_13(-)?,python_targets_python3_14(-)?]
DEFINED_PHASES=compile configure install postinst postrm prepare test
DESCRIPTION=Toolkit for literate programming in Coq/Rocq
EAPI=8
HOMEPAGE=https://github.com/cpitclaudel/alectryon/
INHERIT=elisp-common distutils-r1
IUSE=doc emacs python_targets_python3_13 python_targets_python3_14
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=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 )
REQUIRED_USE=|| ( python_targets_python3_13 python_targets_python3_14 )
SLOT=0
SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v2.0.0.tar.gz -> alectryon-2.0.0.gh.tar.gz
_eclasses_=distutils-r1	62add15ed646bfe511af53e282621b39	eapi9-pipestatus	d2c134036ac31c3085aebc9147f572bd	elisp-common	0ea9a0d3bc26353e1642c73560a24fdf	flag-o-matic	fd3558f73f6503093adee69adf41020d	multibuild	83db098a835f71feb71761f72a694aa2	multilib	fc812e8eb2170022c28272d80a1f9e77	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	ninja-utils	d063ea1900a793f93eb095010d6d9156	out-of-source-utils	8e5093bd27b7f541a1913271f25d633a	python-r1	5fdca77e34fc9af7d6eb47689f33f6bf	python-utils-r1	9c4180f103a0e8340bc993fc85dbdadd	toolchain-funcs	5195689ff6a73b0e789acfa09d4fbcb9
_md5_=3a45e329f9ce4d085c4e9eeb40392c78