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 |
|