Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq
Commit message (Collapse)AuthorAgeFilesLines
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-143-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}Michał Górny2023-02-143-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-11-262-0/+91
| | | | | | This reverts commit 7cfcec3d3f83d53b9da299d770e274f3bbe19754. Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-11-262-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.16.1Maciej Barć2022-11-262-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.15.0-r2Maciej Barć2022-09-062-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.15.1Maciej Barć2022-09-062-112/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.16.0Maciej Barć2022-09-062-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* Revert "sci-mathematics/coq: drop old 8.11.2-r1"Maciej Barć2022-05-312-0/+91
| | | | | | | | This reverts commit 9ea25f14ec426e1f253eb819ba5708bca9d7915e. Needed by sci-mathematics/why3-for-spark-2020 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop old 8.11.2-r1Maciej Barć2022-05-312-91/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.15.2Maciej Barć2022-05-312-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.15.1Maciej Barć2022-03-222-0/+112
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: re-add ~x86 keyword dropped by mistakeMaciej Barć2022-03-131-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: update metadataMaciej Barć2022-02-271-1/+3
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: fix doc build - add missing fontsMaciej Barć2022-02-181-0/+2
| | | | | | Closes: https://bugs.gentoo.org/833589 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: fix doc build - add xetex depMaciej Barć2022-02-181-0/+1
| | | | | | Closes: https://bugs.gentoo.org/833534 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: add missing latexextra depMaciej Barć2022-02-171-0/+1
| | | | | | Closes: https://bugs.gentoo.org/833529 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: enable docMaciej Barć2022-02-171-16/+17
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: bump to 8.15.0Maciej Barć2022-01-282-0/+107
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* sci-mathematics/coq: drop redundant ebuildsViorel Munteanu2021-12-143-268/+0
| | | | | | | | | | | Drop old ebuilds that depend on media-libs/netpbm[zlib] They have been replaced by ebuilds that depend on media-libs/netpbm[zlib(+)] Bug: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/23211 Signed-off-by: Joonas Niilola <juippis@gentoo.org>
* sci-mathematics/coq: x86 stable wrt bug #827149Agostino Sarubbo2021-12-071-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149Jakov Smolić2021-12-061-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* sci-mathematics/coq: use a dependency default flagViorel Munteanu2021-07-263-0/+268
| | | | | | | | | | media-libs/netpbm is dropping zlib USE flag Closes: https://bugs.gentoo.org/801442 Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Viorel Munteanu <ceamac.paragon@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/21580 Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* sci-mathematics/coq: serialize installAlfredo Tupone2021-04-062-2/+2
| | | | | | Closes: https://bugs.gentoo.org/780114 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1Sam James2021-03-134-182/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: bumping back to 8.11.2Alfredo Tupone2021-02-092-0/+91
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* sci-mathematics/coq: bump to 8.13.0Sam James2021-02-082-0/+89
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: add github remote-idSam James2021-02-081-0/+3
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: fix metadata indentationSam James2021-02-081-20/+22
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: lower OCaml depSam James2021-02-081-4/+6
| | | | | | Bug: https://bugs.gentoo.org/769317 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* sci-mathematics/coq: Remove oldJakov Smolic2021-01-201-86/+0
| | | | | Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org>
* sci-mathematics/coq: Bump to 8.12.0Mark Wright2020-10-132-0/+89
| | | | | | | | Thanks to Anton Kochkov and Sergio Perez for reporting. Closes: https://bugs.gentoo.org/697066 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/coq: revbump for newer ocaml + numJason A. Donenfeld2020-01-071-0/+86
| | | | | | Fixes: https://bugs.gentoo.org/704928 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+0
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* sci-mathematics/coq: fix eclass usageMichael Mair-Keimberger2019-11-231-1/+1
| | | | | | Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/13706 Signed-off-by: Aaron Bauman <bman@gentoo.org>
* sci-mathematics/coq: forward keywords again (forgotten)Mikle Kolyada2019-11-041-1/+1
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/coq: migrate from dev-tex/xcolorMikle Kolyada2019-11-044-95/+3
| | | | | Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
* sci-mathematics/coq: Bump to 8.9.1Mark Wright2019-09-242-0/+87
| | | | | | | | | Thanks to Han and Anton Kochkov for requesting the bump. Closes: https://bugs.gentoo.org/653864 Closes: https://bugs.gentoo.org/672038 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org>
* sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextraAndreas Sturmlechner2018-04-092-4/+4
| | | | Package-Manager: Portage-2.3.28, Repoman-2.3.9
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
|
* sci-mathematics/coq: bump to 8.6.1Alexis Ballier2017-07-182-0/+92
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* sci-mathematics/coq: Remove oldAlexis Ballier2017-07-145-228/+0
| | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2
* sci-mathematics/coq: ppc stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: x86 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* sci-mathematics/coq: amd64 stable wrt bug #619676Agostino Sarubbo2017-07-071-1/+1
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-283-3/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>