mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-18 10:56:53 +00:00
607b0d3e80
find . -name "*.nix" | while read fn; do sed 's^http://[a-z]*.dl.sourceforge.net/sourceforge/^mirror://sourceforge/^g' < $fn > $fn.new; mv $fn.new $fn; done svn path=/nixpkgs/trunk/; revision=9198
13 lines
333 B
Nix
13 lines
333 B
Nix
{ stdenv, fetchurl, ocaml, perl }:
|
|
|
|
stdenv.mkDerivation {
|
|
name = "cil-aterm-1.3.6";
|
|
src = fetchurl {
|
|
url = mirror://sourceforge/cil/cil-1.3.6.tar.gz;
|
|
md5 = "112dfbabdd0e1280800d62ba4449ab45";
|
|
};
|
|
patches = [./cil-aterm-1.3.6.patch];
|
|
buildInputs = [ ocaml perl ];
|
|
inherit ocaml perl;
|
|
}
|