nixpkgs/pkgs/development/coq-modules/serapi/ at 23.05-pre · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / coq-modules / serapi /

at 23.05-pre 5 files

8.10.0+0.7.2.patch

coqPackages.serapi: patch to fix COQPATH issue

4 years ago

8.11.0+0.11.1.patch

coqPackages.serapi: patch to fix COQPATH issue

4 years ago

8.12.0+0.12.1.patch

coqPackages.serapi: patch to fix COQPATH issue

4 years ago

coqPackages.mkCoqDerivation: upgrade to Dune 3

3 years ago

janestreet-0.15.patch

Fix coqPackages.serapi version 8.15 for ocamlPackages.janeStreet version 0.15

3 years ago