diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-03-07 09:46:11 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-03-12 05:49:59 +0100 |
| commit | 0521702b1da8c2da6d6989fb537f36aef786633a (patch) | |
| tree | 58efd6d1801a76f8b0604f699c489578de4818ad /pkgs/applications | |
| parent | ac050096a0d847c690be84b51c41f7bbfa7bbb06 (diff) | |
| download | nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar.gz nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar.bz2 nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar.lz nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar.xz nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.tar.zst nixlib-0521702b1da8c2da6d6989fb537f36aef786633a.zip | |
coq_8_19: 8.19.0 → 8.19.1
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index e52a51936180..37a8aba7d8c7 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -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 |