diff options
| author | Ali Caglayan <alizter@gmail.com> | 2023-03-27 08:54:48 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-28 08:13:12 +0200 |
| commit | 8fe1ea496b24338f61032e4caa7f981626d24d4b (patch) | |
| tree | 6336c9ab8117bbf19ed969108585451755287231 | |
| parent | 836da22c1284c61589a0cbb40d79b46854fffe1d (diff) | |
| download | nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar.gz nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar.bz2 nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar.lz nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar.xz nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.tar.zst nixpkgs-8fe1ea496b24338f61032e4caa7f981626d24d4b.zip | |
coq: 8.16.1 -> 8.17.0
Signed-off-by: Ali Caglayan <alizter@gmail.com>
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 3740d4e3926..81fab07ecbf 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -53,7 +53,7 @@ let "8.15.2".sha256 = "sha256:0qibbvzrhsvs6w3zpkhyclndp29jnr6bs9i5skjlpp431jdjjfqd"; "8.16.0".sha256 = "sha256-3V6kL9j2rn5FHBxq1mtmWWTZS9X5cAyvtUsS6DaM+is="; "8.16.1".sha256 = "sha256-n7830+zfZeyYHEOGdUo57bH6bb2/SZs8zv8xJhV+iAc="; - "8.17+rc1".sha256 = "sha256-BsVgYa2fAYqRmQNSaY/YSiZhqkmwM+xbE5T4FHOEqkc="; + "8.17.0".sha256 = "sha256-TGwm7S6+vkeZ8cidvp8pkiAd9tk008jvvPvYgfEOXhM="; }; releaseRev = v: "V${v}"; fetched = import ../../../../build-support/coq/meta-fetch/default.nix |