commit 17e2fbf2dcded334556c6c204c4b4a2ca3f10db2

pyrox.dev / nixpkgs

lol

fork atom

alt-ergo: 2.4.0 → 2.4.1

authored by

Vincent Laporte and committed by

Vincent Laporte 4 years ago 17e2fbf2 6edee848

+2 -2

1 changed file

expand all

unified split

pkgs

applications

science

logic

alt-ergo

default.nix

+2 -2

pkgs/applications/science/logic/alt-ergo/default.nix

··· 2 3 let 4 pname = "alt-ergo"; 5 - version = "2.4.0"; 6 7 src = fetchFromGitHub { 8 owner = "OCamlPro"; 9 repo = pname; 10 rev = version; 11 - sha256 = "1jm1yrvsg8iyfp9bb728zdx2i7yb6z7minjrfs27k5ncjqkjm65g"; 12 }; 13 14 useDune2 = true;

··· 2 3 let 4 pname = "alt-ergo"; 5 + version = "2.4.1"; 6 7 src = fetchFromGitHub { 8 owner = "OCamlPro"; 9 repo = pname; 10 rev = version; 11 + sha256 = "0hglj1p0753w2isds01h90knraxa42d2jghr35dpwf9g8a1sm9d3"; 12 }; 13 14 useDune2 = true;