Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages_8_15.serapi: init at 8.15.0+0.15.0 | Théo Zimmermann | 2022-01-27 |
* | ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399) | José Romildo Malaquias | 2022-01-26 |
* | coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775) | Vincent Laporte | 2021-12-12 |
* | coqPackages.serapi: remove with Coq 8.14 | Vincent Laporte | 2021-12-01 |
* | treewide: quote urls according to rfc 0045 (#145260) | xaverdh | 2021-11-10 |
* | coqPackages.serapi: patch to fix COQPATH issue | Théo Zimmermann | 2021-10-21 |
* | coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0 | Théo Zimmermann | 2021-10-13 |
* | coqPackages.serapi: init at multiple versions | Théo Zimmermann | 2021-08-17 |