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