nixpkgs/pkgs/development/coq-modules/serapi
Ali Caglayan 8398a209b6
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185)
* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0

* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19

Signed-off-by: Ali Caglayan <alizter@gmail.com>
2024-02-16 08:59:26 +01:00
..
8.10.0+0.7.2.patch
8.11.0+0.11.1.patch
8.12.0+0.12.1.patch
default.nix coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} (#288185) 2024-02-16 08:59:26 +01:00
janestreet-0.15.patch
janestreet-0.16.patch