Merge pull request #70988 from mweinelt/pr/master/babeld/pname

babeld: name -> pname
This commit is contained in:
Florian Klink 2019-10-11 21:37:34 +02:00 committed by GitHub
commit d0592798d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,10 +1,11 @@
{ stdenv, fetchurl }:
stdenv.mkDerivation rec {
name = "babeld-1.9.1";
pname = "babeld";
version = "1.9.1";
src = fetchurl {
url = "http://www.pps.univ-paris-diderot.fr/~jch/software/files/${name}.tar.gz";
url = "http://www.pps.univ-paris-diderot.fr/~jch/software/files/${pname}-${version}.tar.gz";
sha256 = "1d503igqv9s5pgrhvxp1czjy2xfsjhagyyh2iny7g4cjvl0kq6qy";
};