{"bugs":[{"bugid":879169,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/alectryon-1.4.0-r2 [doc] fails to compile - AssertionError"},{"bugid":952681,"firstseen":"2025-07-11T02:48:40.189262","severity":"normal","status":"CONFIRMED","summary":"sci-mathematics\/alectryon: needs porting to Python 3.13"}],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":336,"name":"dev-python","summary":"The dev-python category contains packages whose primary purpose is to provide Python modules, extensions and bindings, as well as tools and utilities useful for development in the Python programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"7dce96aef2ab611d8f5bd4bbfab66a58403398e8","committime":"2025-12-21T18:45:46","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b6ac7504287b52793b1c379ad0f9d27113e2986f","committime":"2025-12-21T18:25:59","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: Remove py3.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e5575467ebc5b07793aee55c88be6103d74526c1","committime":"2025-02-20T10:33:28","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"6dbe8784df4229ed8345068c4a1b4ff52b541f5e","committime":"2025-02-20T10:17:49","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: Remove py3.10 (per sphinx-8.2)"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"e32fc1c529e3f48c432ff4d3e8f4b17922383770","committime":"2024-04-29T19:04:10","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/929789\nSigned-off-by: Maciej Barć ","commitid":"ba543e752c925b40ac331562fcfd6c2398fa6d14","committime":"2024-04-29T17:03:56","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: enable py3.12 compat"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b0ddb8fabc5d9aa0dd12d7e6fa2bc397a83f845b","committime":"2023-03-02T05:16:53","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"a2e235cdcfe173a7c40481cea536d164db36efcc","committime":"2023-03-02T04:57:52","packageid":74527,"repoid":1,"summary":"Rename dev-python\/{myst_parser → myst-parser}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"2e78788d6f520d273d2911d270e04bed07cb188e","committime":"2023-02-24T11:03:57","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"andrewammerlaan@gentoo.org","authorname":"Andrew Ammerlaan","body":"Signed-off-by: Andrew Ammerlaan ","commitid":"7c2ab6c1f431df800813a4a2b4d88b6839fedfc9","committime":"2023-02-24T10:56:35","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: enable py3.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8d0ebee607de5c63d747980fbeb0806c193a29c9","committime":"2023-01-14T13:02:17","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"ed468028e725c9580a7b2ee02d6b7b9375f7a0b2","committime":"2023-01-14T12:51:19","packageid":74527,"repoid":1,"summary":"*\/*: remove py3.8 from PYTHON_COMPAT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"441cb78c293937d78bde9a91b153fb4a947e5ad3","committime":"2022-06-14T10:33:23","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/851843\nSigned-off-by: Maciej Barć ","commitid":"e3ead869f67b47158707d4c19cd689e0e4e565df","committime":"2022-06-14T10:22:41","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: fix distutil calls"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"07ab2a37a3e28b6523cdbe6787aba8d7fcbfb119","committime":"2022-04-04T14:34:21","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/cpitclaudel\/alectryon\/pull\/80\nCloses: https:\/\/bugs.gentoo.org\/836748\nSigned-off-by: Maciej Barć ","commitid":"60404288705b3df37bc04b1bbfe69a7704a3a4f2","committime":"2022-04-04T13:53:22","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: fix setup.cfg; add DISTUTILS_USE_PEP517"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"c95c84853ff511213817b94002bd925c9602054c","committime":"2022-03-05T04:51:45","packageid":74527,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"a3045b07e451738d566af36b38e96dbf76d8659c","committime":"2022-03-05T04:39:08","packageid":74527,"repoid":1,"summary":"sci-mathematics\/alectryon: new package; add 1.4.0"}],"dependencies":[{"block":false,"categoryid":336,"description":"Pygments is a syntax highlighting package written in Python","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"pygments","packageid":44726,"summary":"Pygments is a syntax highlighting package written in Python. Pygments can output to html, bbcode, latex, rtf and other formats."},{"block":false,"categoryid":336,"description":"Python documentation generator","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"sphinx","packageid":46924,"summary":"Sphinx is a tool to create documentation for Python projects (or other documents consisting of multiple reStructuredText sources)."},{"block":false,"categoryid":336,"description":"Python Documentation Utilities (reference reStructuredText impl.)","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"docutils","packageid":49200},{"block":false,"categoryid":336,"description":"Library for creating and manipulating HTML documents using an elegant DOM API","ebuildids":[824610],"firstseen":"2016-04-29T13:41:06.608298","maintainer":"sautier.louis@gmail.com","maintainername":"Louis Sautier","name":"dominate","packageid":65370,"summary":"Dominate is a Python library for creating and manipulating HTML documents using an elegant DOM API. It allows you to write HTML pages in pure Python very concisely, which eliminate the need to learn another template language, and to take advantage of the more powerful features of Python."},{"block":false,"categoryid":336,"description":"Pythonic idioms for iterating, searching, and modifying an HTML\/XML parse tree","ebuildids":[824610],"firstseen":"2021-09-08T12:25:57.264536","name":"beautifulsoup4","packageid":73317,"summary":"Beautiful Soup is a Python HTML\/XML parser designed for quick turnaround projects like screen-scraping. Two features make it powerful: it won't choke if you give it bad markup and it provides a few simple methods and Pythonic idioms for navigating and searching a parse tree: a toolkit for dissecting a document and extracting what you need."},{"block":false,"categoryid":317,"description":"Serialization library and protocol for interaction with the Coq proof assistant","ebuildids":[824610],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-serapi","packageid":74529,"summary":"SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from\/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality."},{"block":false,"categoryid":336,"description":"Extended commonmark compliant parser, with bridges to Sphinx","ebuildids":[824610],"firstseen":"2023-03-02T05:23:32.204584","name":"myst-parser","packageid":75870}],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":824610,"firstseen":"2024-04-29T20:15:46.645269","license":"MIT","moddate":"2026-03-30T13:49:45","packageid":74527,"repoid":1,"slot":"0","uses":["doc","emacs","python_targets_python3_12"],"version":"1.4.0-r2"}],"masks":[],"package":{"categoryid":317,"description":"Toolkit for literate programming in Coq","firstseen":"2022-03-05T04:57:32.030109","name":"alectryon","packageid":74527,"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."},"rdependencies":[{"block":false,"categoryid":450,"description":"An interpreted, interactive, object-oriented programming language","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":336,"description":"Pygments is a syntax highlighting package written in Python","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"pygments","packageid":44726,"summary":"Pygments is a syntax highlighting package written in Python. Pygments can output to html, bbcode, latex, rtf and other formats."},{"block":false,"categoryid":336,"description":"Python documentation generator","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"sphinx","packageid":46924,"summary":"Sphinx is a tool to create documentation for Python projects (or other documents consisting of multiple reStructuredText sources)."},{"block":false,"categoryid":336,"description":"Python Documentation Utilities (reference reStructuredText impl.)","ebuildids":[824610],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"docutils","packageid":49200},{"block":false,"categoryid":336,"description":"Library for creating and manipulating HTML documents using an elegant DOM API","ebuildids":[824610],"firstseen":"2016-04-29T13:41:06.608298","maintainer":"sautier.louis@gmail.com","maintainername":"Louis Sautier","name":"dominate","packageid":65370,"summary":"Dominate is a Python library for creating and manipulating HTML documents using an elegant DOM API. It allows you to write HTML pages in pure Python very concisely, which eliminate the need to learn another template language, and to take advantage of the more powerful features of Python."},{"block":false,"categoryid":336,"description":"Pythonic idioms for iterating, searching, and modifying an HTML\/XML parse tree","ebuildids":[824610],"firstseen":"2021-09-08T12:25:57.264536","name":"beautifulsoup4","packageid":73317,"summary":"Beautiful Soup is a Python HTML\/XML parser designed for quick turnaround projects like screen-scraping. Two features make it powerful: it won't choke if you give it bad markup and it provides a few simple methods and Pythonic idioms for navigating and searching a parse tree: a toolkit for dissecting a document and extracting what you need."},{"block":false,"categoryid":317,"description":"Serialization library and protocol for interaction with the Coq proof assistant","ebuildids":[824610],"firstseen":"2022-03-05T04:57:32.030109","name":"coq-serapi","packageid":74529,"summary":"SerAPI is a library for machine-to-machine interaction with the Coq proof assistant, with particular emphasis on applications in IDEs, code analysis tools, and machine learning. SerAPI provides automatic serialization of Coq's internal OCaml datatypes from\/to JSON or S-expressions (sexps). SerAPI is a proof-of-concept and should be considered alpha-quality."},{"block":false,"categoryid":336,"description":"Extended commonmark compliant parser, with bridges to Sphinx","ebuildids":[824610],"firstseen":"2023-03-02T05:23:32.204584","name":"myst-parser","packageid":75870}],"repos":[{"branch":"master","lastcommit":"43a4988e0fa15f038220ebd74aa888ace0c9b303","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/cpitclaudel\/alectryon\/"],"uses":[{"description":"Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally","isdefault":false,"use":"doc"},{"description":"Add support for GNU Emacs","isdefault":false,"use":"emacs"},{"description":"Build with Python 3.12","group":"python_targets","isdefault":false,"use":"python3_12"}]}