nixpkgs/pkgs/development/libraries/cil/default.nix
Eelco Dolstra a0159dee8e * Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
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
2007-08-24 12:32:36 +00:00

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];
}