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

libpoly: 0.1.3 -> 0.1.4

Browse Source
This commit is contained in:
Will Dietz 2017-08-26 21:55:27 -05:00
parent 65890d6644
commit 3ab85383a0
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/poly/default.nix
View File

@ -1,6 +1,6 @@
{stdenv, fetchurl, gmp, cmake, python}: {stdenv, fetchurl, gmp, cmake, python}:
let version = "0.1.3"; let version = "0.1.4";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
@ -8,7 +8,7 @@ stdenv.mkDerivation {
src = fetchurl { src = fetchurl {
url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz"; url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz";
sha256 = "0nd90585imnznyp04vg6a5ixxkd3bavhv1437397aj2k3dfc0y2k"; sha256 = "16x1pk2a3pcb5a0dzyw28ccjwkhmbsck4hy80ss7kx0dd7qgpi7j";
}; };
buildInputs = [ cmake gmp python ]; buildInputs = [ cmake gmp python ];