sci-mathematics / coq

Proof assistant written in O'Caml

Official package sites : https://coq.inria.fr/ · https://github.com/coq/coq/ ·

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.

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

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)

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

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

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

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
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