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

Sign in Join now

nixpkgs lukegb.dev /

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

What happens if I push all of nixpkgs

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

nixpkgs /pkgs /development /coq-modules /serapi

6 files

at llvm-cleanup

K900 · Revert "stdenv: add meta.repository field" · 2y ago

8.10.0+0.7.2.patch

coqPackages.serapi: patch to fix COQPATH issue

8.11.0+0.11.1.patch

coqPackages.serapi: patch to fix COQPATH issue

8.12.0+0.12.1.patch

coqPackages.serapi: patch to fix COQPATH issue

Revert "stdenv: add meta.repository field"

janestreet-0.15.patch

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

janestreet-0.16.patch

ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)