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
Vincent Laporte
df33946f5e
coqPackages.serapi: fix build with Coq 8.16
2023-09-26 14:10:44 +02:00
Ali Caglayan
9d696c09f9
coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-09-15 16:17:16 +02:00
Dimitrije Radojević
9b4d043ba2
ocamlPackages.janestreet: 0.15 -> 0.16 ( #247022 )
2023-08-31 07:46:20 +02:00
Ali Caglayan
21131995d9
coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-04-04 13:23:51 +02:00
Mario Rodas
46f9a706c9
coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3
2023-02-21 04:20:00 +00:00
Shawn8901
4dcb03a5c3
treewide: remove global with lib; statements in pkgs/coq-modules
2023-01-21 23:19:48 +01:00
Théo Zimmermann
2dc3552aa1
coqPackages.mkCoqDerivation: upgrade to Dune 3
...
And remove the version number from the corresponding attributes.
2022-10-02 14:42:28 +02:00
Vincent Laporte
60f34d3919
coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16
2022-09-25 18:17:15 +02:00
Aaron L. Zeng
50d9adfa8a
Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15
...
This is a follow-up to #166033 adding a patch for coqPackages.serapi
so that it builds successfully with the new Jane Street OCaml
packages. I did not upstream this patch because
upstream (coq-serapi-v8.16) already includes commits mentioning Jane
Street 0.15 compatibility with a similar patch.
2022-07-20 06:56:35 +02:00
Théo Zimmermann
eb1b39787f
coqPackages_8_15.serapi: init at 8.15.0+0.15.0
...
And also clean up rc version for Coq 8.15.
2022-01-27 08:11:31 +01:00
José Romildo Malaquias
a01cad0d0f
ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 ( #156399 )
...
* ocamlPackages.ppx_import: 1.8.0 -> 1.9.1
* coqPackages.serapi: fix compilation with ppx_import-1.9.1
2022-01-26 13:16:24 +01:00
Vincent Laporte
9ec8e46141
coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 ( #148775 )
2021-12-12 20:41:49 +01:00
Vincent Laporte
4f51fae5bb
coqPackages.serapi: remove with Coq 8.14
2021-12-01 13:46:15 +01:00
xaverdh
03a257e5a3
treewide: quote urls according to rfc 0045 ( #145260 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2021-11-10 11:37:56 +01:00
Théo Zimmermann
170128a5a7
coqPackages.serapi: patch to fix COQPATH issue
...
SerAPI was interpreting paths as relative to the Coq root.
2021-10-21 11:55:12 +02:00
Théo Zimmermann
e7735f2252
coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0
2021-10-13 10:44:09 +02:00
Théo Zimmermann
0c7e82e299
coqPackages.serapi: init at multiple versions
2021-08-17 16:45:04 +02:00
