summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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