diff options
author | Jonathan Ringer <jonringer117@gmail.com> | 2020-04-09 10:39:15 -0700 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2020-04-09 11:22:53 -0700 |
commit | 323830282748c1fb31647fc615e67e926a044d23 (patch) | |
tree | 989fceb3e52870c865894b525be5da0dc1299492 /pkgs | |
parent | c6fbd527d063f0e60c68dcd90f1170858c2d2854 (diff) | |
download | nixlib-323830282748c1fb31647fc615e67e926a044d23.tar nixlib-323830282748c1fb31647fc615e67e926a044d23.tar.gz nixlib-323830282748c1fb31647fc615e67e926a044d23.tar.bz2 nixlib-323830282748c1fb31647fc615e67e926a044d23.tar.lz nixlib-323830282748c1fb31647fc615e67e926a044d23.tar.xz nixlib-323830282748c1fb31647fc615e67e926a044d23.tar.zst nixlib-323830282748c1fb31647fc615e67e926a044d23.zip |
libpoly: fix src
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/poly/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/poly/default.nix b/pkgs/applications/science/logic/poly/default.nix index d3ca8d56e9ad..ee50a2d85040 100644 --- a/pkgs/applications/science/logic/poly/default.nix +++ b/pkgs/applications/science/logic/poly/default.nix @@ -7,8 +7,9 @@ stdenv.mkDerivation rec { src = fetchFromGitHub { owner = "SRI-CSL"; repo = "libpoly"; - rev = "v${version}"; - sha256 = "19ddzrir20571zqg720ajqpl59lhpc6c18bp763r6rw68d9zbjch"; + # they've pushed to the release branch, use explicit tag + rev = "refs/tags/v${version}"; + sha256 = "1n3gijksnl2ybznq4lkwm2428f82423sxq18gnb2g1kiwqlzdaa3"; }; nativeBuildInputs = [ cmake ]; |