Summary
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". Coq is based on a logical framework called "Calculus of Inductive Constructions" extended by a modular development system for theories.
Versions
v8.20.0 :: 0/8.20.0 :: gentoo
- Modified
- License
- LGPL-2.1
- Keywords
- ~amd64 ~x86
- USE flags
- debug doc gui ocamlopt test
v8.19.2 :: 0/8.19.2 :: gentoo
- Modified
- License
- LGPL-2.1
- Keywords
- amd64 ~x86
- USE flags
- debug doc gui ocamlopt test
USE flags
General
- debug
- Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- gui
- Enable support for a graphical user interface
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / lablgtk : OCaml bindings to GTK-3
dev-ml / lablgtk-sourceview : OCaml bindings to GTK-3
dev-ml / num : Library for arbitrary-precision integer and rational arithmetic
dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / lablgtk : OCaml bindings to GTK-3
dev-ml / lablgtk-sourceview : OCaml bindings to GTK-3
dev-ml / num : Library for arbitrary-precision integer and rational arithmetic
dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers
Depending packages
dev-ml / coq-menhirlib : A support library for verified Coq parsers produced by Menhir
sci-mathematics / coq-mathcomp : Mathematical Components for the Coq proof assistant
sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant
sci-mathematics / flocq : Formalization of floating-point arithmetic for the Coq proof assistant
sci-mathematics / gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq
sci-mathematics / why3 : Platform for deductive program verification
sci-mathematics / why3-for-spark : Platform for deductive program verification
Bugs
- 559564
- sys-apps/portage-2.2.20.1: a slot conflict between dev-lang/ocaml and sci-mathematics/coq cannot be auto resolved
- 814182
- [stable] sci-mathematics/coq-8.12.0-r1 - make: [Makefile.make:178: submake] Error 2
- 835583
- sci-mathematics/coq-8.15.0-r2 - Fatal error: exception Stack overflow
- 909329
- sci-mathematics/coq-8.17.1 - Error: No rule found for plugins/ltac2/ltac2_plugin.cmxs
- 913550
- sci-mathematics/coq-8.17.1 - Failed to run command: dune build @install --display=short --profile release -j 5 --for-release-of-pa
- 928101
- sci-mathematics/coq-8.20.0 installs files that contain a TEXTREL
- 931889
- sci-mathematics/coq-8.19.1 - make inconsistent assumptions over implementation Unix
- 944174
- sci-mathematics/coq-8.20.0 - [ncurses-6.5] [meson] [libtool] Failed to run command: dune build @install --display=short --profile release -j 4 --for-release-of-packages=c
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.19.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.19.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/coq: Stabilize 8.19.2 amd64, #940557
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: fix SRC_URI
Closes: https://bugs.gentoo.org/939364 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.20.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.19.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.19.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.18.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.17.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: Stabilize 8.19.0 amd64, #925657
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.19.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Matoro Mahri · gentoo
sci-mathematics/coq: Stabilize 8.18.0 amd64, #915951
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.18.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.12.0-r2
Closes: https://bugs.gentoo.org/888964 Closes: https://bugs.gentoo.org/889278 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: Stabilize 8.17.1 amd64, #912296
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: remove dead code
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.16.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.15.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: add pkg_preinst upgrade from 8.12
Closes: https://bugs.gentoo.org/910236 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
sci-mathematics/coq: Stabilize 8.17.0 amd64, #907179
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.17.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.13.0-r1
Closes: https://bugs.gentoo.org/777528 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/coq: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-mathematics/coq: Stabilize 8.17.0 x86, #907179
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: update bug reference
Closes: https://bugs.gentoo.org/904186 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: disable failing test
Closes: https://bugs.gentoo.org/859877 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.16.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: add missing subslots
Closes: https://bugs.gentoo.org/904150 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: add ounit2 to test deps
Closes: https://bugs.gentoo.org/904152 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Michał Górny · gentoo
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.11.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
Revert "sci-mathematics/coq: drop old 8.11.2-r1"
This reverts commit 7cfcec3d3f83d53b9da299d770e274f3bbe19754. Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.11.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.16.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.15.0-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.15.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.16.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
Revert "sci-mathematics/coq: drop old 8.11.2-r1"
This reverts commit 9ea25f14ec426e1f253eb819ba5708bca9d7915e. Needed by sci-mathematics/why3-for-spark-2020 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: drop old 8.11.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.15.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.15.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: fix doc build - add missing fonts
Closes: https://bugs.gentoo.org/833589 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: fix doc build - add xetex dep
Closes: https://bugs.gentoo.org/833534 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: add missing latexextra dep
Closes: https://bugs.gentoo.org/833529 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: enable doc
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/coq: bump to 8.15.0
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Viorel Munteanu · gentoo
sci-mathematics/coq: drop redundant ebuilds
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> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-mathematics/coq: x86 stable wrt bug #827149
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
sci-mathematics/coq: Stabilize 8.12.0-r2 amd64, #827149
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Viorel Munteanu · gentoo
sci-mathematics/coq: use a dependency default flag
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> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
sci-mathematics/coq: serialize install
Closes: https://bugs.gentoo.org/780114 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
sci-mathematics/coq: bumping back to 8.11.2
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-mathematics/coq: bump to 8.13.0
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-mathematics/coq: lower OCaml dep
Bug: https://bugs.gentoo.org/769317 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolic · gentoo
sci-mathematics/coq: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
sci-mathematics/coq: Bump to 8.12.0
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> - Repository mirror & CI · gentoo
Merge updates from master - Jason A. Donenfeld · gentoo
sci-mathematics/coq: revbump for newer ocaml + num
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> - Repository mirror & CI · gentoo
Merge updates from master - Michael Mair-Keimberger · gentoo
sci-mathematics/coq: fix eclass usage
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> - Repository mirror & CI · gentoo
Merge updates from master - Mikle Kolyada · gentoo
sci-mathematics/coq: forward keywords again (forgotten)
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mikle Kolyada · gentoo
sci-mathematics/coq: migrate from dev-tex/xcolor
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
sci-mathematics/coq: Bump to 8.9.1
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> - Andreas Sturmlechner · gentoo
sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra
Package-Manager: Portage-2.3.28, Repoman-2.3.9 - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.6.1
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Alexis Ballier · gentoo
sci-mathematics/coq: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Agostino Sarubbo · gentoo
sci-mathematics/coq: ppc stable wrt bug #619676
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
sci-mathematics/coq: x86 stable wrt bug #619676
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
sci-mathematics/coq: amd64 stable wrt bug #619676
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - T. Malfatti · gentoo
media-libs/portaudio: Version bump - Alexis Ballier · gentoo
sci-mathematics/coq: adjust deps for TeX Live 2016.
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
sci-mathematics/coq: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
sci-mathematics/coq: add missing findlib build dep, bug #603126
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.6
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.5pl3
Package-Manager: portage-2.3.2 - Alexis Ballier · gentoo
sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.
Package-Manager: portage-2.3.0 - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.5pl2
Package-Manager: portage-2.3.0 - Patrice Clement · gentoo
sci-mathematics/coq: Clean up old.
Package-Manager: portage-2.2.28 - Patrice Clement · gentoo
sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy.
Package-Manager: portage-2.2.28 Gentoo-Bug: https://bugs.gentoo.org/586932 - Alexis Ballier · gentoo
Revert "sci-mathematics/coq: Remove := from || dep, #586304"
This reverts commit 84224f26f9c893299a487431e2ee005b1795f01c. This commit is wrong in several aspects: - Such changes should come with a revbump - Removing := deps causes packages not to be rebuilt on upgrades, causing barely understandable build failures when upgrading, later on. Thanks to this commit, people that have installed those packages will likely experience those failures with the upcoming ocaml 4.03 unmask. - This is a non maintainer commit where no discussion at all happened with the maintainers during the 3 days between bug report and mass commit. Such discussion could have prevented the above mentioned breakage. Proper fix is to drop the backward compatibility part of the || () dep. This fix was slowly moving forward whenever possible and noticed. Main blocker for this is bug #463018 which requires taking extra care for not breaking the stable tree nor needlessly preventing future stabilization of packages. - Michał Górny · gentoo
sci-mathematics/coq: Remove := from || dep, #586304 - Alexis Ballier · gentoo
sci-mathematics/coq: fix build with ocaml 4.03
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.5pl1
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Patrice Clement · gentoo
Merge remote-tracking branch 'github/pr/711'. - Alexis Ballier · gentoo
sci-mathematics/coq: bump to 8.5
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
sci-mathematics/coq: remove old
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Agostino Sarubbo · gentoo
sci-mathematics/coq: ppc stable wrt bug #553322
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc" - Agostino Sarubbo · gentoo
sci-mathematics/coq: x86 stable wrt bug #553322
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86" - Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed