sci-mathematics/coq-serapi – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-09-09
- sci-mathematics/coq-serapi: bump to 0.20.0
  386549b
  Maciej Barć committed on 2024-09-09 00:06:05 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.20.0.ebuildsci-mathematics/coq-serapi/Manifest
Commits on 2024-03-04
- sci-mathematics/coq-serapi: drop old 0.18.1
  01872ba
  Maciej Barć committed on 2024-03-04 21:56:45 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuildsci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patch
Commits on 2024-02-05
- sci-mathematics/coq-serapi: bump to 0.19.0
  f341ccb
  Maciej Barć committed on 2024-02-05 11:28:31 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuildsci-mathematics/coq-serapi/files/coq-serapi-0.19.0-sertop-el.patchsci-mathematics/coq-serapi/Manifest
Commits on 2024-01-15
- sci-mathematics/coq-serapi: drop old 0.17.0
  7da3746
  Maciej Barć committed on 2024-01-15 21:20:39 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuild
Commits on 2023-10-23
- sci-mathematics/coq-serapi: bump to 0.18.1
  3f7751a
  Maciej Barć committed on 2023-10-23 20:38:57 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.18.1.ebuildsci-mathematics/coq-serapi/Manifest
Commits on 2023-07-15
- sci-mathematics/coq-serapi: drop old 0.16.3
  c47d637
  Maciej Barć committed on 2023-07-15 22:17:05 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
- sci-mathematics/coq-serapi: drop old 0.16.2-r1
  ed12505
  Maciej Barć committed on 2023-07-15 22:17:05 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuild
- sci-mathematics/coq-serapi: drop old 0.16.1
  abbb7f4
  Maciej Barć committed on 2023-07-15 22:17:04 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuild
Commits on 2023-04-10
- sci-mathematics/coq-serapi: bump to 0.17.0
  d117060
  Maciej Barć committed on 2023-04-10 18:49:23 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.17.0.ebuildsci-mathematics/coq-serapi/Manifest
- sci-mathematics/coq-serapi: fix SRC_URI
  b9dda4f
  Maciej Barć committed on 2023-04-10 18:49:22 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
Commits on 2023-03-15
- sci-mathematics/coq-serapi: introduce COQ_MIN_V
  aaa95b0
  Maciej Barć committed on 2023-03-15 00:25:40 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuild
Commits on 2023-02-17
- sci-mathematics/coq-serapi: drop old 0.16.0-r1
  256bbdf
  Maciej Barć committed on 2023-02-17 01:22:11 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild
- sci-mathematics/coq-serapi: bump to 0.16.3
  9ff81ed
  Maciej Barć committed on 2023-02-17 01:22:11 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.3.ebuildsci-mathematics/coq-serapi/Manifest
Commits on 2023-01-27
- sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction
  f82a0cc
  Maciej Barć committed on 2023-01-27 13:01:59 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.2-r1.ebuildsci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuild
Commits on 2023-01-12
- sci-mathematics/coq-serapi: drop old 0.15.0-r3
  561aaf4
  Maciej Barć committed on 2023-01-12 01:23:40 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuild
- sci-mathematics/coq-serapi: bump to 0.16.2
  185fe2f
  Maciej Barć committed on 2023-01-12 01:23:40 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.2.ebuildsci-mathematics/coq-serapi/Manifest
Commits on 2022-10-31
- sci-mathematics/coq-serapi: bump to 0.16.1
  4b55615
  Maciej Barć committed on 2022-10-31 03:44:24 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.1.ebuildsci-mathematics/coq-serapi/Manifest
Commits on 2022-10-26
- sci-mathematics/coq-serapi: remove seq dependency
  57e2f45
  Maciej Barć committed on 2022-10-26 22:04:34 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuildsci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild
Commits on 2022-10-01
- sci-mathematics/coq-serapi: bump to 0.16.0
  384078e
  Maciej Barć committed on 2022-10-01 23:34:57 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuildsci-mathematics/coq-serapi/Manifest
- sci-mathematics/coq-serapi: restrict coq version
  4069d63
  Maciej Barć committed on 2022-10-01 23:34:56 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.15.0-r3.ebuildsci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild
Commits on 2022-04-19
- sci-mathematics/coq-serapi: fix elisp libraries installation
  cb7871f
  Maciej Barć committed on 2022-04-19 22:32:56 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuildsci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild
Commits on 2022-04-16
- sci-mathematics/coq-serapi: add ppx_sexp_conv version constraints
  1aeb41d
  Maciej Barć committed on 2022-04-16 17:14:19 UTC
  sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuildsci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuild
Commits on 2022-03-05
- sci-mathematics/coq-serapi: new package; add 0.15.0
  f6f7c1b
  Maciej Barć committed on 2022-03-05 04:40:57 UTC
  sci-mathematics/coq-serapi/Manifestsci-mathematics/coq-serapi/coq-serapi-0.15.0.ebuildsci-mathematics/coq-serapi/files/50sertop-gentoo.elsci-mathematics/coq-serapi/files/coq-serapi-sertop.el-path.patchsci-mathematics/coq-serapi/metadata.xml