summary refs log tree commit diff
path: root/pkgs/development/libraries/cil/default.nix
blob: 084d5adf206b13941146a3447e1fd0d97e2383ec (plain) (blame)
1
2
3
4
5
6
7
8
{stdenv, fetchurl, ocaml, perl}: stdenv.mkDerivation {
  name = "cil-1.3.2";
  src = fetchurl {
    url = http://nix.cs.uu.nl/dist/tarballs/cil-1.3.2.tar.gz;
    md5 = "aba80dd700fcb1411598670cc36a9573";
  };
  buildInputs = [ocaml perl];
}