Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
831 B · 39 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940{ coq, lib, mkCoqDerivation, version ? null,}:
mkCoqDerivation { pname = "coq-tactical"; owner = "tchajed";
inherit version; displayVersion.coq-tactical = v: "unstable-${v}"; defaultVersion = with lib.versions; lib.switch coq.version [ { case = range "8.11" "8.20"; out = "2022-02-15"; } ] null;
release."2022-02-15" = { rev = "7c26f9a017395c240845184dfed23489d29dbae5"; sha256 = "sha256-SNoQzGYw5tuabHUDwMAyUsAa/WNoYjmyR85b7a0hVl4="; };
installPhase = '' COQLIB=$out/lib/coq/${coq.coq-version} mkdir -p $COQLIB/user-contrib/Tactical cp -pR src/* $COQLIB/user-contrib/Tactical '';
meta = { description = "Library of Coq proof automation"; license = lib.licenses.mit; maintainers = with lib.maintainers; [ stepbrobd ]; };}