summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq-mathcomp: drop old 1.17.0Maciej Barć2024-03-042-26/+0
* sci-mathematics/coq-mathcomp: bump to 1.19.0Maciej Barć2024-01-152-0/+26
* sci-mathematics/coq-mathcomp: drop old 1.16.0-r1Maciej Barć2024-01-152-26/+0
* sci-mathematics/coq-mathcomp: bump to 1.17.0Maciej Barć2023-10-242-0/+26
* sci-mathematics/coq-mathcomp: drop old 1.15.0-r1Maciej Barć2023-07-162-24/+0
* sci-mathematics/coq-mathcomp: drop old 1.14.0-r2Maciej Barć2023-04-112-33/+0
* sci-mathematics/coq-mathcomp: ignore CFLAGS for ML/Coq codeMaciej Barć2023-04-113-0/+9
* sci-mathematics/coq-mathcomp: introduce COQ_MIN_VMaciej Barć2023-03-151-1/+3
* sci-mathematics/coq-mathcomp: fix depsMaciej Barć2023-02-163-5/+14
* sci-mathematics/coq-mathcomp: bump to 1.16.0Maciej Barć2023-02-022-0/+18
* sci-mathematics/coq-mathcomp: bump to 1.15.0Maciej Barć2022-09-072-0/+18
* sci-mathematics/coq-mathcomp: constraint coq version to <8.16.0Maciej Barć2022-09-071-1/+1
* sci-mathematics/coq-mathcomp: new package; add 1.14.0Maciej Barć2022-03-053-0/+41