nixpkgs/pkgs/development/coq-modules/serapi/ at netboot-syslinux-multiplatform · tjh.dev/nixpkgs · tangled

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

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

at netboot-syslinux-multiplatform 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.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0

2 years ago

janestreet-0.15.patch

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

3 years ago