1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 22:50:49 +00:00
nixpkgs/pkgs/development/libraries/cil/default.nix
Rob Vermaas f0ee6546db * CIL 1.3.2
svn path=/nixpkgs/trunk/; revision=3016
2005-05-09 15:56:34 +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];
}