Commit 0521702b authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

coq_8_19: 8.19.0 → 8.19.1

parent ac050096

pkgs/applications/science/logic/coq/default.nix

+1 −0
Original line number Diff line number Diff line
@@ -57,6 +57,7 @@ let 
   "8.17.1".sha256   = "sha256-x+RwkbxMg9aR0L3WSCtpIz8jwA5cJA4tXAtHMZb20y4=";

   "8.18.0".sha256   = "sha256-WhiBs4nzPHQ0R24xAdM49kmxSCPOxiOVMA1iiMYunz4=";

   "8.19.0".sha256   = "sha256-ixsYCvCXpBHqJ71hLQklphlwoOO3i/6w2PJjllKqf9k=";

   "8.19.1".sha256   = "sha256-kmZ8Uk8jpzjOd67aAPp3C+vU2oNaBw9pr7+Uixcgg94=";

  };

  releaseRev = v: "V${v}";

  fetched = import ../../../../build-support/coq/meta-fetch/default.nix