Unverified Commit 719845c1 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps 

coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
parents c120f2db 90211718

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";