public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

alt-ergo: 2.4.0 → 2.4.1 

(cherry picked from commit 0abc796ce281eeb737039c12613734d33611658b)
This commit is contained in:
Vincent Laporte 2021-10-06 06:51:19 +02:00 committed by Vincent Laporte
parent 6421c8df26
commit 564cb4d81d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/alt-ergo/default.nix
View File

@ -2,13 +2,13 @@
let let
pname = "alt-ergo"; pname = "alt-ergo";
version = "2.4.0"; version = "2.4.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "OCamlPro"; owner = "OCamlPro";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "1jm1yrvsg8iyfp9bb728zdx2i7yb6z7minjrfs27k5ncjqkjm65g"; sha256 = "0hglj1p0753w2isds01h90knraxa42d2jghr35dpwf9g8a1sm9d3";
}; };
useDune2 = true; useDune2 = true;