blob: ecbb0c19412bfdb3e8d87df44ab76f987c55b24e (
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://manju.cs.berkeley.edu/cil/distrib/cil-1.3.2.tar.gz;
md5 = "aba80dd700fcb1411598670cc36a9573";
};
buildInputs = [ocaml perl];
}
|