Versions
v1.16.0-r1 :: 0/1.16.0 :: gentoo
- Modified
- License
- CeCILL-B
- Keywords
- ~amd64
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
sci-mathematics / coq : Proof assistant written in O'Caml
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
sci-mathematics / coq : Proof assistant written in O'Caml
Change logs
- 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>