pyrox.dev
libpoly: 0.1.11 -> 0.1.13
+2
-2
pkgs/applications/science/logic/poly/default.nix
+2
-2
pkgs/applications/science/logic/poly/default.nix
···
2
2
3
3
stdenv.mkDerivation rec {
4
4
pname = "libpoly";
5
-
version = "0.1.11";
5
+
version = "0.1.13";
6
6
7
7
src = fetchFromGitHub {
8
8
owner = "SRI-CSL";
9
9
repo = "libpoly";
10
10
# they've pushed to the release branch, use explicit tag
11
11
rev = "refs/tags/v${version}";
12
-
sha256 = "sha256-vrYB6RQYShipZ0c0j1KcSTJR1h0rQKAAeJvODMar1GM=";
12
+
sha256 = "sha256-7aFz+6XJOVEA/Fmi0ywd6rZdTW8sHq8MoHqXR0Hc2o4=";
13
13
};
14
14
15
15
nativeBuildInputs = [ cmake ];