chase: correct download URL

I broke the change after changing the name from chase_ to chase-. Sorry!
This commit is contained in:
Graham Christensen 2017-01-04 06:43:06 -05:00
parent e17b483669
commit 6a68b95266
No known key found for this signature in database
GPG Key ID: 06121D366FE9435C

View File

@ -1,11 +1,12 @@
{ stdenv, fetchurl ,pkgconfig, libatomic_ops , boehmgc }:
stdenv.mkDerivation rec {
name = "chase-0.5.2";
name = "chase-${version}";
version = "0.5.2";
buildInputs = [ pkgconfig libatomic_ops boehmgc ] ;
src = fetchurl {
url = "mirror://debian/pool/main/c/chase/${name}.orig.tar.gz";
url = "mirror://debian/pool/main/c/chase/chase_${version}.orig.tar.gz";
sha256 = "68d95c2d4dc45553b75790fcea4413b7204a2618dff148116ca9bdb0310d737f";
};