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