summary refs log tree commit diff
path: root/pkgs/development/coq-modules/serapi
Commit message (Expand)AuthorAge
* coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0Ali Caglayan2023-04-04
* coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3Mario Rodas2023-02-21
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann2022-10-02
* coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16Vincent Laporte2022-09-25
* Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15Aaron L. Zeng2022-07-20
* coqPackages_8_15.serapi: init at 8.15.0+0.15.0Théo Zimmermann2022-01-27
* ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)José Romildo Malaquias2022-01-26
* coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)Vincent Laporte2021-12-12
* coqPackages.serapi: remove with Coq 8.14Vincent Laporte2021-12-01
* treewide: quote urls according to rfc 0045 (#145260)xaverdh2021-11-10
* coqPackages.serapi: patch to fix COQPATH issueThéo Zimmermann2021-10-21
* coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0Théo Zimmermann2021-10-13
* coqPackages.serapi: init at multiple versionsThéo Zimmermann2021-08-17
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-01 12:36:00 +0000