summary refs log tree commit diff
diff options
context:
space:
mode:
authorJonathan Ringer <jonringer117@gmail.com>2020-04-09 10:39:15 -0700
committerJon <jonringer@users.noreply.github.com>2020-04-09 11:22:53 -0700
commit323830282748c1fb31647fc615e67e926a044d23 (patch)
tree989fceb3e52870c865894b525be5da0dc1299492
parentc6fbd527d063f0e60c68dcd90f1170858c2d2854 (diff)
downloadnixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar.gz
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar.bz2
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar.lz
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar.xz
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.tar.zst
nixpkgs-323830282748c1fb31647fc615e67e926a044d23.zip
libpoly: fix src
-rw-r--r--pkgs/applications/science/logic/poly/default.nix5
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 d3ca8d56e9a..ee50a2d8504 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 ];