diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 new file mode 100644 index 000000000000..0d82d8fd5138 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/alectryon-1.4.0-r1 @@ -0,0 +1,16 @@ +BDEPEND=emacs? ( >=app-editors/emacs-23.1:* app-emacs/flycheck app-emacs/proofgeneral ) python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) >=dev-python/gpep517-3[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] >=dev-python/setuptools-60.5.0[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/wheel[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] +DEFINED_PHASES=compile configure install postinst postrm prepare test +DEPEND=dev-python/beautifulsoup4[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/docutils[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/dominate[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/myst_parser[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pygments[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/sphinx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/coq-serapi +DESCRIPTION=Toolkit for literate programming in Coq +EAPI=8 +HOMEPAGE=https://github.com/cpitclaudel/alectryon/ +INHERIT=elisp-common distutils-r1 +IUSE=doc emacs python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 +KEYWORDS=~amd64 +LICENSE=MIT +RDEPEND=dev-python/beautifulsoup4[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/docutils[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/dominate[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/myst_parser[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/pygments[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] dev-python/sphinx[python_targets_python3_8(-)?,python_targets_python3_9(-)?,python_targets_python3_10(-)?] sci-mathematics/coq-serapi python_targets_python3_8? ( >=dev-lang/python-3.8.12_p1-r1:3.8 ) python_targets_python3_9? ( >=dev-lang/python-3.9.9-r1:3.9 ) python_targets_python3_10? ( >=dev-lang/python-3.10.0_p1-r1:3.10 ) +REQUIRED_USE=|| ( python_targets_python3_8 python_targets_python3_9 python_targets_python3_10 ) +SLOT=0 +SRC_URI=https://github.com/cpitclaudel/alectryon/archive/v1.4.0.tar.gz -> alectryon-1.4.0.tar.gz +_eclasses_=elisp-common e7aaa047873789f549ea3df2f04b2145 multibuild d26d81f242cb193d899a72bca423d0bd multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib 4a33c9008e5ee30cb8840a3fdc24df2b python-utils-r1 5dc84801daa87406aafaf535cb947a64 python-r1 8638751691200e941f26fe0ac3aef1d1 distutils-r1 3b871cf4724e3abc9b4ff059289f0d45 +_md5_=edb68aaf22f745e31752e00a3ff3a7db |