summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/serapi
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-11-14coqPackages.serapi: fix buildVincent Laporte
2024-09-11coqPackages_8_20.serapi: init at 8.20.0+0.20.0Vincent Laporte
2024-08-18coqPackages.serapi: remove with statementsPhilip Taron
2024-07-23coqPackages: Enable override with dev branches (#329356)Pierre Roux
2024-05-31coq-lsp: 0.1.8 -> 0.1.9Ali Caglayan
2024-03-30Revert "stdenv: add meta.repository field"K900
2024-03-29stdenv: add meta.repository fieldbinarycat
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 Caglayan
2023-09-26coqPackages.serapi: fix build with Coq 8.16Vincent Laporte
2023-09-15coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18Ali Caglayan
2023-08-31ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)Dimitrije Radojević
2023-04-04coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0Ali Caglayan
2023-02-21coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3Mario Rodas
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn8901
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann
2022-09-25coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16Vincent Laporte
2022-07-20Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15Aaron L. Zeng
2022-01-27coqPackages_8_15.serapi: init at 8.15.0+0.15.0Théo Zimmermann
2022-01-26ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)José Romildo Malaquias
2021-12-12coqPackages.serapi: init at 8.14.0+0.14.0 for Coq 8.14 & OCaml < 4.12 (#148775)Vincent Laporte
2021-12-01coqPackages.serapi: remove with Coq 8.14Vincent Laporte
2021-11-10treewide: quote urls according to rfc 0045 (#145260)xaverdh
2021-10-21coqPackages.serapi: patch to fix COQPATH issueThéo Zimmermann
2021-10-13coqPackages_8_14.serapi: init at 8.14+rc1+0.14.0Théo Zimmermann
2021-08-17coqPackages.serapi: init at multiple versionsThéo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-22 20:49:44 +0000