sci-mathematics / coq-mathcomp

Mathematical Components for the Coq proof assistant

Official package sites : https://github.com/math-comp/math-comp/ ·

v1.19.0 :: 0/1.19.0 :: gentoo

Modified
License
CeCILL-B
Keywords
~amd64

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

sci-mathematics / coq : Proof assistant written in O'Caml

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

sci-mathematics / coq : Proof assistant written in O'Caml

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: drop old 1.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: bump to 1.19.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: drop old 1.16.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: bump to 1.17.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: drop old 1.15.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: drop old 1.14.0-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code
Closes: https://bugs.gentoo.org/904155 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: introduce COQ_MIN_V
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: fix deps
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: bump to 1.16.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: bump to 1.15.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0
Closes: https://bugs.gentoo.org/869053 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
sci-mathematics/coq-mathcomp: new package; add 1.14.0
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>