Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi/Manifest
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć2024-11-191-1/+0
* sci-mathematics/coq-serapi: bump to 0.20.0Maciej Barć2024-09-091-0/+1
* sci-mathematics/coq-serapi: drop old 0.18.1Maciej Barć2024-03-041-1/+0
* sci-mathematics/coq-serapi: bump to 0.19.0Maciej Barć2024-02-051-0/+1
* sci-mathematics/coq-serapi: drop old 0.17.0Maciej Barć2024-01-151-1/+0
* sci-mathematics/coq-serapi: bump to 0.18.1Maciej Barć2023-10-231-0/+1
* sci-mathematics/coq-serapi: drop old 0.16.3Maciej Barć2023-07-161-1/+0
* sci-mathematics/coq-serapi: drop old 0.16.2-r1Maciej Barć2023-07-161-1/+0
* sci-mathematics/coq-serapi: drop old 0.16.1Maciej Barć2023-07-161-1/+0
* sci-mathematics/coq-serapi: bump to 0.17.0Maciej Barć2023-04-101-0/+1
* sci-mathematics/coq-serapi: drop old 0.16.0-r1Maciej Barć2023-02-171-1/+0
* sci-mathematics/coq-serapi: bump to 0.16.3Maciej Barć2023-02-171-0/+1
* sci-mathematics/coq-serapi: drop old 0.15.0-r3Maciej Barć2023-01-121-1/+0
* sci-mathematics/coq-serapi: bump to 0.16.2Maciej Barć2023-01-121-0/+1
* sci-mathematics/coq-serapi: bump to 0.16.1Maciej Barć2022-10-311-0/+1
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-021-0/+1
* sci-mathematics/coq-serapi: new package; add 0.15.0Maciej Barć2022-03-051-0/+1