diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-10-06 06:51:19 +0200 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2021-10-12 12:46:02 +0000 |
| commit | 0bb0022c21be1eb56cb5c8710ba3cba49c529e57 (patch) | |
| tree | 180023fd73ec521e83a565bd21a1e7c354641453 | |
| parent | Merge pull request #141277 from NixOS/backport-140723-to-release-21.05 (diff) | |
| download | nixpkgs-0bb0022c21be1eb56cb5c8710ba3cba49c529e57.tar.gz | |
alt-ergo: 2.4.0 → 2.4.1origin/backport-140713-to-release-21.05
(cherry picked from commit 0abc796ce281eeb737039c12613734d33611658b)
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 963015b11d50..837f25e320f7 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -2,13 +2,13 @@ let pname = "alt-ergo"; - version = "2.4.0"; + version = "2.4.1"; src = fetchFromGitHub { owner = "OCamlPro"; repo = pname; rev = version; - sha256 = "1jm1yrvsg8iyfp9bb728zdx2i7yb6z7minjrfs27k5ncjqkjm65g"; + sha256 = "0hglj1p0753w2isds01h90knraxa42d2jghr35dpwf9g8a1sm9d3"; }; useDune2 = true; |