pyrox.dev / nixpkgs
lol
fork atom

libpoly: 0.1.9 -> 0.1.10

R. RyanTM 1d4ae0cf 407ef1dc

+2 -2
unified split
+2 -2
pkgs/applications/science/logic/poly/default.nix
··· 2 3 stdenv.mkDerivation rec { 4 pname = "libpoly"; 5 - version = "0.1.9"; 6 7 src = fetchFromGitHub { 8 owner = "SRI-CSL"; 9 repo = "libpoly"; 10 # they've pushed to the release branch, use explicit tag 11 rev = "refs/tags/v${version}"; 12 - sha256 = "sha256-E2lHo8Bt4ujoGQ623fjkQbqRnDYJYilXdRt4lnF4wJk="; 13 }; 14 15 # https://github.com/SRI-CSL/libpoly/pull/52
··· 2 3 stdenv.mkDerivation rec { 4 pname = "libpoly"; 5 + version = "0.1.10"; 6 7 src = fetchFromGitHub { 8 owner = "SRI-CSL"; 9 repo = "libpoly"; 10 # they've pushed to the release branch, use explicit tag 11 rev = "refs/tags/v${version}"; 12 + sha256 = "sha256-22Y4L5NFnCzKwZt0A/ChMuGPU4Dk1Qyke6mdvfN063w="; 13 }; 14 15 # https://github.com/SRI-CSL/libpoly/pull/52