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