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
..
default.nix