diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-06-01 08:13:12 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-06-03 10:45:45 +0200 |
| commit | 442db9429b9fbdb6352cfb937afc8ecccfe2633f (patch) | |
| tree | fa0d9bcddb4ae7bed71ef7a35d73b307bdec6597 /pkgs/applications/science/logic | |
| parent | 73812431fbcf1aa42a76543b14f939f0d5df543d (diff) | |
| download | nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar.gz nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar.bz2 nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar.lz nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar.xz nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.tar.zst nixpkgs-442db9429b9fbdb6352cfb937afc8ecccfe2633f.zip | |
coq: 8.15.1 → 8.15.2
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 768178e6e15..c85bcd21a0c 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -48,6 +48,7 @@ let "8.14.1".sha256 = "0sx78pgx0qw8v7v2r32zzy3l161zipzq95iacda628girim7psnl"; "8.15.0".sha256 = "sha256:1ma76wfrpfsl72yh10w1ys2a0vi0mdc2jc79kdc8nrmxkhpw1nxx"; "8.15.1".sha256 = "sha256:1dsa04jzkx5pw69pmxn0l55q4w88lg6fvz7clbga0bazzsfnsgd6"; + "8.15.2".sha256 = "sha256:0gn8dz69scxnxaq6ycb3x34bjfk9wlp1y2xn8w69kg9fm4b6gkc7"; }; releaseRev = v: "V${v}"; fetched = import ../../../../build-support/coq/meta-fetch/default.nix |