pyrox.dev
alt-ergo: 2.5.3 -> 2.5.4
authored by R. Ryantm and committed by Austin Seipp f9cb1659 abd6d48f
+2
-2
pkgs/applications/science/logic/alt-ergo/default.nix
+2
-2
pkgs/applications/science/logic/alt-ergo/default.nix
···
2
2
3
3
let
4
4
pname = "alt-ergo";
5
-
version = "2.5.3";
5
+
version = "2.5.4";
6
6
7
7
src = fetchurl {
8
8
url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";
9
-
hash = "sha256-tmWLZBLfdmfYlCQq+zcUneeueDAE6AJeZMy8kfNCC04=";
9
+
hash = "sha256-AsHok5i62vqJ5hK8XRiD8hM6JQaFv3dMxZAcVYEim6w=";
10
10
};
11
11
in
12
12