Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
650 B · 36 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637{ lib, mkCoqDerivation, coq, stdlib, version ? null,}:
mkCoqDerivation { pname = "coinduction"; owner = "damien-pous"; inherit version; defaultVersion = let inherit (lib.versions) range; in lib.switch coq.coq-version [ { case = range "8.19" "8.19"; out = "1.9"; } ] null; release = { "1.9".sha256 = "sha256-bBU+xDklnzJBeN41GarW5KXzD8eKsOYtb//ULYumwWE="; }; releaseRev = v: "v${v}";
propagatedBuildInputs = [ stdlib ];
mlPlugin = true;
meta = { description = "Library for doing proofs by (enhanced) coinduction"; license = lib.licenses.lgpl3Plus; };}