Commit 90211718 authored by R. RyanTM's avatar R. RyanTM
Browse files

coqPackages.LibHyps: 2.0.4.1 -> 2.0.8

parent 100ce73c

pkgs/development/coq-modules/LibHyps/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -4,9 +4,9 @@ mkCoqDerivation { 
  pname = "LibHyps";

  owner = "Matafou";

  inherit version;

  defaultVersion = if (lib.versions.range "8.11" "8.19") coq.version then "2.0.4.1" else null;

  defaultVersion = if (lib.versions.range "8.11" "8.19") coq.version then "2.0.8" else null;

  release = {

    "2.0.4.1".sha256 = "09p89701zhrfdmqlpxw3mziw8yylj1w1skb4b0xpbdwd1vsn4k3h";

    "2.0.8".sha256 = "sha256-u8T7ZWfgYNFBsIPss0uUS0oBvdlwPp3t5yYIMjYzfLc=";

  };



  configureScript = "./configure.sh";