Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
779 B · 42 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940414243{ lib, mkCoqDerivation, coq, QuickChick, async-test, version ? null,}:
mkCoqDerivation { pname = "http"; owner = "liyishuai"; repo = "coq-http"; inherit version;
defaultVersion = let case = case: out: { inherit case out; }; inherit (lib.versions) range; in lib.switch coq.coq-version [ (case (range "8.14" "8.19") "0.2.1") ] null; release = { "0.2.1".sha256 = "sha256-CIcaXEojNdajXNoMBjGlQRc1sOJSKgUlditNxbNSPgk="; }; releaseRev = v: "v${v}";
propagatedBuildInputs = [ QuickChick async-test ];
configurePhase = '' sed -e 's/^ install extract.*//' -i Makefile '';
meta = { description = "HTTP specification in Coq, testable and verifiable"; license = lib.licenses.mpl20; };}