Altered download location to sourceforge.
svn path=/nixpkgs/trunk/; revision=7769
This commit is contained in:
parent
8b2f183a7f
commit
66706c592e
@ -1,9 +1,9 @@
|
|||||||
{ stdenv, fetchurl, ocaml, perl }:
|
ls{ stdenv, fetchurl, ocaml, perl }:
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "cil-aterm-1.3.4";
|
name = "cil-aterm-1.3.4";
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.4.tar.gz;
|
url = http://surfnet.dl.sourceforge.net/sourceforge/cil/cil-1.3.4.tar.gz;
|
||||||
md5 = "a7fa54f19844a20562efd37f67c391da";
|
md5 = "a7fa54f19844a20562efd37f67c391da";
|
||||||
};
|
};
|
||||||
patches = [./cil-aterm-1.3.4.patch];
|
patches = [./cil-aterm-1.3.4.patch];
|
||||||
|
Loading…
x
Reference in New Issue
Block a user