sci-mathematics/

coq-serapi

Latest Commits

• 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

    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

    Manifest 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

    coq-serapi-0.16.3.ebuild 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

    coq-serapi-0.16.2-r1.ebuild 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

    Manifest 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

    coq-serapi-0.16.2.ebuild 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

    coq-serapi-0.16.1.ebuild 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

    coq-serapi-0.16.0-r1.ebuild 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

    coq-serapi-0.16.0.ebuild Manifest
  • sci-mathematics/coq-serapi: restrict coq version

    4069d63

    Maciej Barć committed on 2022-10-01 23:34:56 UTC

    coq-serapi-0.15.0-r3.ebuild 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

    coq-serapi-0.15.0-r2.ebuild 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

    coq-serapi-0.15.0-r1.ebuild 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

    Manifest coq-serapi-0.15.0.ebuild files/50sertop-gentoo.el files/coq-serapi-sertop.el-path.patch metadata.xml