Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/coq-serapi: drop old 0.19.0Maciej Barć40 hours2-77/+0
* sci-mathematics/coq-serapi: bump to 0.20.0Maciej Barć2024-09-092-0/+84
* sci-mathematics/coq-serapi: drop old 0.18.1Maciej Barć2024-03-043-85/+0
* sci-mathematics/coq-serapi: bump to 0.19.0Maciej Barć2024-02-053-0/+88
* sci-mathematics/coq-serapi: drop old 0.17.0Maciej Barć2024-01-152-71/+0
* sci-mathematics/coq-serapi: bump to 0.18.1Maciej Barć2023-10-232-0/+73
* sci-mathematics/coq-serapi: drop old 0.16.3Maciej Barć2023-07-162-71/+0
* sci-mathematics/coq-serapi: drop old 0.16.2-r1Maciej Barć2023-07-162-68/+0
* sci-mathematics/coq-serapi: drop old 0.16.1Maciej Barć2023-07-162-67/+0
* sci-mathematics/coq-serapi: bump to 0.17.0Maciej Barć2023-04-102-0/+71
* sci-mathematics/coq-serapi: fix SRC_URIMaciej Barć2023-04-101-1/+1
* sci-mathematics/coq-serapi: introduce COQ_MIN_VMaciej Barć2023-03-151-3/+4
* sci-mathematics/coq-serapi: drop old 0.16.0-r1Maciej Barć2023-02-172-67/+0
* sci-mathematics/coq-serapi: bump to 0.16.3Maciej Barć2023-02-172-0/+70
* sci-mathematics/coq-serapi: remove ppx_sexp_conv restrictionMaciej Barć2023-01-271-1/+2
* sci-mathematics/coq-serapi: drop old 0.15.0-r3Maciej Barć2023-01-122-65/+0
* sci-mathematics/coq-serapi: bump to 0.16.2Maciej Barć2023-01-122-0/+67
* sci-mathematics/coq-serapi: bump to 0.16.1Maciej Barć2022-10-312-0/+67
* sci-mathematics/coq-serapi: remove seq dependencyMaciej Barć2022-10-271-1/+0
* sci-mathematics/coq-serapi: bump to 0.16.0Maciej Barć2022-10-022-0/+68
* sci-mathematics/coq-serapi: restrict coq versionMaciej Barć2022-10-021-1/+1
* sci-mathematics/coq-serapi: fix elisp libraries installationMaciej Barć2022-04-201-1/+1
* sci-mathematics/coq-serapi: add ppx_sexp_conv version constraintsMaciej Barć2022-04-161-1/+1
* sci-mathematics/coq-serapi: new package; add 0.15.0Maciej Barć2022-03-055-0/+100