nixpkgs/pkgs/development/libraries/cil/default.nix at 7c5e566c5c6025449f7ecff03acf73f5fa9ab516 - mirrors/nixpkgs - Alioth Systems Laboratories

mirrors/nixpkgs

mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 13:10:33 +00:00

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

Raw Blame History

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