diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-09-07 14:48:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-07 14:48:05 +0200 |
| commit | 4754c69e9748a13ea277dba91c9e9af7b79097fd (patch) | |
| tree | 41ca2c803eb7d7033992b4aa983c5c9a568a01bf | |
| parent | a0e4b9b6054a018cd75039e91cf2abe1da04186f (diff) | |
| parent | a037a50b4696632977dadd61747b02492a109478 (diff) | |
Merge pull request #189997 from r-ryantm/auto-update/coq_8_16
coq_8_16: 8.16+rc1 -> 8.16.0
| -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 06d4a915c91d..f1ec27642fec 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -49,7 +49,7 @@ let "8.15.0".sha256 = "sha256:0q7jl3bn0d1v9cwdkxykw4frccww6wbh1p8hdrfqw489mkxmh5jh"; "8.15.1".sha256 = "sha256:1janvmnk3czimp0j5qmnfwx6509vhpjc2q7lcza1bc6dm6kn8n42"; "8.15.2".sha256 = "sha256:0qibbvzrhsvs6w3zpkhyclndp29jnr6bs9i5skjlpp431jdjjfqd"; - "8.16+rc1".sha256 = "sha256-hmZQ6rFIOZJwnAh23nKScJ3Nn+xqDRn5q2Tn82igpYE="; + "8.16.0".sha256 = "sha256-3V6kL9j2rn5FHBxq1mtmWWTZS9X5cAyvtUsS6DaM+is="; }; releaseRev = v: "V${v}"; fetched = import ../../../../build-support/coq/meta-fetch/default.nix |