about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/serapi
AgeCommit message (Expand)AuthorFilesLines
2024-03-30Revert "stdenv: add meta.repository field"K9001-2/+1
2024-03-29stdenv: add meta.repository fieldbinarycat1-1/+2
2024-02-16coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,...Ali Caglayan1-0/+2
2023-09-26coqPackages.serapi: fix build with Coq 8.16Vincent Laporte1-1/+1
2023-09-15coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18Ali Caglayan1-0/+2
2023-08-31ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)Dimitrije Radojević2-0/+21
2023-04-04coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0Ali Caglayan1-2/+5
2023-02-21coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3Mario Rodas1-3/+3
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-1/+1
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann1-1/+1
2022-09-25coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16Vincent Laporte1-1/+11
2022-07-20Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15Aaron L. Zeng2-1/+85
2022-01-27coqPackages_8_15.serapi: init at 8.15.0+0.15.0Théo Zimmermann1-5/+3
2022-01-26ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)José Romildo Malaquias1-16/+1
2021-12-12coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)Vincent Laporte1-1/+6
2021-12-01coqPackages.serapi: remove with Coq 8.14Vincent Laporte1-1/+0
2021-11-10treewide: quote urls according to rfc 0045 (#145260)xaverdh1-1/+1
2021-10-21coqPackages.serapi: patch to fix COQPATH issueThéo Zimmermann4-0/+111
2021-10-13coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0Théo Zimmermann1-8/+14
2021-08-17coqPackages.serapi: init at multiple versionsThéo Zimmermann1-0/+72
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 14:20:32 +0000