public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

* Copy a bunch of files to nix.cs.uu.nl.

Browse Source 
svn path=/nixpkgs/trunk/; revision=6711
This commit is contained in:
Eelco Dolstra
2006-10-12 13:50:54 +00:00
parent ce71dc9076
commit 1442e8ec22
205 changed files with 460 additions and 1392 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/tools/parsing/antlr/antlr-2.7.6.nix
+1 -1
View File
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
name = "antlr-2.7.6";
builder = ./builder2.sh;
src = fetchurl {
url = http://www.antlr.org/download/antlr-2.7.6.tar.gz;
url = http://nix.cs.uu.nl/dist/tarballs/antlr-2.7.6.tar.gz;
md5 = "17d8bf2e814f0a26631aadbbda8d7324";
};
inherit jre;
pkgs/development/tools/parsing/antlr/default.nix
+1 -1
View File
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
name = "antlr-3.0b3";
builder = ./builder.sh;
src = fetchurl {
url = http://www.antlr.org/download/antlr-3.0b3.tar.gz;
url = http://nix.cs.uu.nl/dist/tarballs/antlr-3.0b3.tar.gz;
md5 = "6a7e70ccece8149b735cc3aaa24241cc";
};
inherit jre;
pkgs/development/tools/parsing/bison/bison-2.3.nix
+1 -1
View File
@@ -5,7 +5,7 @@ assert m4 != null;
stdenv.mkDerivation {
name = "bison-2.3";
src = fetchurl {
url = ftp://ftp.nluug.nl/pub/gnu/bison/bison-2.3.tar.bz2;
url = http://nix.cs.uu.nl/dist/tarballs/bison-2.3.tar.bz2;
md5 = "c18640c6ec31a169d351e3117ecce3ec";
};
buildInputs = [m4];
pkgs/development/tools/parsing/flex/flex-2.5.33.nix
+1 -1
View File
@@ -8,7 +8,7 @@ assert yacc != null && m4 != null;
stdenv.mkDerivation {
name = "flex-2.5.33";
src = fetchurl {
url = http://surfnet.dl.sourceforge.net/sourceforge/flex/flex-2.5.33.tar.bz2;
url = http://nix.cs.uu.nl/dist/tarballs/flex-2.5.33.tar.bz2;
md5 = "343374a00b38d9e39d1158b71af37150";
};
buildInputs = [yacc];
pkgs/development/tools/parsing/jikespg/default.nix
+1 -1
View File
@@ -4,7 +4,7 @@ stdenv.mkDerivation {
name = "jikespg-1.3";
builder = ./builder.sh;
src = fetchurl {
url = http://surfnet.dl.sourceforge.net/sourceforge/jikes/jikespg-1.3.tar.gz;
url = http://nix.cs.uu.nl/dist/tarballs/jikespg-1.3.tar.gz;
md5 = "eba183713d9ae61a887211be80eeb21f";
};
}