diff options
Diffstat (limited to 'pkgs/development/libraries/cil/default.nix')
| -rw-r--r-- | pkgs/development/libraries/cil/default.nix | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pkgs/development/libraries/cil/default.nix b/pkgs/development/libraries/cil/default.nix deleted file mode 100644 index ecbb0c19412..00000000000 --- a/pkgs/development/libraries/cil/default.nix +++ /dev/null @@ -1,8 +0,0 @@ -{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]; -} |