Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
coq-mathcomp
Mathematical Components for the Coq proof assistant
https://github.com/math-comp/math-comp/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-03-04
sci-mathematics/coq-mathcomp: drop old 1.17.0
3ab6c9b
Maciej Barć
committed on 2024-03-04 21:56:45 UTC
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild
Commits on 2024-01-15
sci-mathematics/coq-mathcomp: bump to 1.19.0
d742b9c
Maciej Barć
committed on 2024-01-15 21:20:39 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.19.0.ebuild
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp: drop old 1.16.0-r1
07b6a44
Maciej Barć
committed on 2024-01-15 21:20:39 UTC
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
Commits on 2023-10-24
sci-mathematics/coq-mathcomp: bump to 1.17.0
57f9a61
Maciej Barć
committed on 2023-10-24 12:30:54 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.17.0.ebuild
sci-mathematics/coq-mathcomp/Manifest
Commits on 2023-07-15
sci-mathematics/coq-mathcomp: drop old 1.15.0-r1
7793b46
Maciej Barć
committed on 2023-07-15 22:17:06 UTC
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
Commits on 2023-04-11
sci-mathematics/coq-mathcomp: drop old 1.14.0-r2
1692957
Maciej Barć
committed on 2023-04-11 14:17:02 UTC
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq code
23ddd32
Maciej Barć
committed on 2023-04-11 14:17:01 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
Commits on 2023-03-15
sci-mathematics/coq-mathcomp: introduce COQ_MIN_V
5845e37
Maciej Barć
committed on 2023-03-15 00:25:40 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
Commits on 2023-02-16
sci-mathematics/coq-mathcomp: fix deps
27e2f50
Maciej Barć
committed on 2023-02-16 11:55:45 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r2.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0-r1.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0-r1.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild
Commits on 2023-02-02
sci-mathematics/coq-mathcomp: bump to 1.16.0
1748e65
Maciej Barć
committed on 2023-02-02 10:51:16 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.16.0.ebuild
sci-mathematics/coq-mathcomp/Manifest
Commits on 2022-09-07
sci-mathematics/coq-mathcomp: bump to 1.15.0
5e1932c
Maciej Barć
committed on 2022-09-07 12:17:44 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.15.0.ebuild
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0
10130c0
Maciej Barć
committed on 2022-09-07 12:17:44 UTC
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0-r1.ebuild
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild
Commits on 2022-03-05
sci-mathematics/coq-mathcomp: new package; add 1.14.0
39c72c3
Maciej Barć
committed on 2022-03-05 04:40:57 UTC
sci-mathematics/coq-mathcomp/Manifest
sci-mathematics/coq-mathcomp/coq-mathcomp-1.14.0.ebuild
sci-mathematics/coq-mathcomp/metadata.xml
Packages
Maciej Barć committed on 2023-03-15 00:25:40 UTC Maciej Barć committed on 2023-02-16 11:55:45 UTC