diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-10-06 06:51:19 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-13 10:50:22 +0200 |
| commit | 564cb4d81d4f734dd068684adec5a60077397fe9 (patch) | |
| tree | 0e1119260e1b87d786b3d90f237906b188fcc85a | |
| parent | Merge pull request #141460 from marsam/backport-nodejs-21.05 (diff) | |
| download | nixpkgs-564cb4d81d4f734dd068684adec5a60077397fe9.tar.gz | |
alt-ergo: 2.4.0 → 2.4.1
(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; |