mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-30 19:02:57 +00:00
a0159dee8e
URLs to http://nix.cs.uu.nl/dist/tarballs. With content-addressable mirror support (r9190, NIXPKGS-70) this is no longer necessary: fetchurl will try to download from that location automatically. So we can keep the original URLs. svn path=/nixpkgs/trunk/; revision=9192
9 lines
248 B
Nix
9 lines
248 B
Nix
{stdenv, fetchurl, ocaml, perl}: stdenv.mkDerivation {
|
|
name = "cil-1.3.2";
|
|
src = fetchurl {
|
|
url = http://manju.cs.berkeley.edu/cil/distrib/cil-1.3.2.tar.gz;
|
|
md5 = "aba80dd700fcb1411598670cc36a9573";
|
|
};
|
|
buildInputs = [ocaml perl];
|
|
}
|