Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.0 kB · 45 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940414243444546{ lib, mkCoqDerivation, coq, mathcomp-boot, stdlib, version ? null,}:
mkCoqDerivation { pname = "autosubst";
releaseRev = v: "v${v}";
release."1.7".sha256 = "sha256-qoyteQ5W2Noxf12uACOVeHhPLvgmTzrvEo6Ts+FKTGI="; release."1.8".sha256 = "sha256-n0lD8D+tjqkDDjFiE4CggxczOPS5TkEnxpB3zEwWZ2I="; release."1.9".sha256 = "sha256-XiLZjMc+1iwRGOstfLm/WQRF6FTdX6oJr5urn3wmLlA=";
inherit version; defaultVersion = let case = case: out: { inherit case out; }; in with lib.versions; lib.switch coq.coq-version [ (case (range "8.14" "9.1") "1.9") (case (range "8.14" "8.18") "1.8") (case (range "8.10" "8.13") "1.7") ] null;
propagatedBuildInputs = [ mathcomp-boot stdlib ];
meta = with lib; { homepage = "https://www.ps.uni-saarland.de/autosubst/"; description = "Automation for de Bruijn syntax and substitution in Coq"; maintainers = with maintainers; [ siraben jwiegley ]; license = licenses.mit; };}