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

spin: use dropbox "mirror" again to avoid problems

Browse Source
This commit is contained in:
Will Dietz 2019-01-19 21:35:05 -06:00
parent c869590dea
commit 6507d48eda
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/tools/analysis/spin/default.nix
View File

@ -11,7 +11,11 @@ in stdenv.mkDerivation rec {
url-version = stdenv.lib.replaceChars ["."] [""] version; url-version = stdenv.lib.replaceChars ["."] [""] version;
src = fetchurl { src = fetchurl {
url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz"; # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL.
# Dropbox mirror from developers:
# https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa
# (note that this URL doesn't work aross versions and hash should come from official site)
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AABtxFePMJmPxsxSvU5cpxh8a/spin${url-version}.tar.gz?raw=1";
sha256 = "07b7wk3qyfnp4pgwicqd33l7i1krzyihx0cf9zkv81ywaklf5vll"; sha256 = "07b7wk3qyfnp4pgwicqd33l7i1krzyihx0cf9zkv81ywaklf5vll";
}; };