philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

3938 commits

Author SHA1 Message Date
Ludovic Courtès bd311de25c GNU Recutils 1.0. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25227
 2010-12-21 16:26:34 +00:00
Eelco Dolstra c14382cb45 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
 2010-12-21 15:14:33 +00:00
Evgeny Egorochkin 9b4c2f5f56 Emacs PHP mode: packaged. Patch by Karn Kallio. 
svn path=/nixpkgs/trunk/; revision=25216
 2010-12-21 04:40:38 +00:00
Marco Maggesi d43bda0086 * Update lablgtk2 (and enable hydra build) 
svn path=/nixpkgs/trunk/; revision=25213
 2010-12-20 14:58:56 +00:00
Marco Maggesi e7accaf8d3 * Update camlp5 
svn path=/nixpkgs/trunk/; revision=25206
 2010-12-20 10:32:22 +00:00
Lluís Batlle i Rossell b48b2a7bb4 Merging from trunk. I solved some trivial merge conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25188
 2010-12-17 20:39:58 +00:00
Sander van der Burg d0a0f22c76 Updated Disnix packages and added disnixos 
svn path=/nixpkgs/trunk/; revision=25181
 2010-12-17 18:42:02 +00:00
Michael Raskin 71822c22de Adding tbe game 
svn path=/nixpkgs/trunk/; revision=25178
 2010-12-17 15:41:30 +00:00
Michael Raskin 7b4b615a86 Fix typo in box2d 2.0.1 name 
svn path=/nixpkgs/trunk/; revision=25175
 2010-12-17 14:16:17 +00:00
Michael Raskin 871112b8db Adding Box2D version 2.0.1 
svn path=/nixpkgs/trunk/; revision=25174
 2010-12-17 14:15:52 +00:00
Michael Raskin aa744f88a1 Adding Box2D library 
svn path=/nixpkgs/trunk/; revision=25172
 2010-12-17 13:02:17 +00:00
Evgeny Egorochkin 77eb09e9cb Ghost One: packaged 
svn path=/nixpkgs/trunk/; revision=25137
 2010-12-15 02:19:59 +00:00
Yury G. Kudryashov d1781e4b41 Add pdftops CUPS filter 
I've packaged this as a separate expression because it depends on poppler (why
don't they look for pdftops on runtime?..).

svn path=/nixpkgs/trunk/; revision=25124
 2010-12-14 13:30:17 +00:00
Yury G. Kudryashov b93fed7f31 poppler-0.14.5 
svn path=/nixpkgs/trunk/; revision=25122
 2010-12-14 13:30:06 +00:00
Eelco Dolstra 975ec6c177 * Added PostgreSQL 9.0.1. 
svn path=/nixpkgs/trunk/; revision=25106
 2010-12-13 21:55:34 +00:00
Ludovic Courtès 532e844a0c Fix `binutilsCross'. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25094
 2010-12-13 08:04:14 +00:00
Ludovic Courtès ac9fac1ba1 GNU Binutils 2.21. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25091
 2010-12-12 23:35:16 +00:00
Ludovic Courtès 2ad6c9c6c2 Parted (cross-GNU): Only refer to `.hostDrv' when cross-building. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25090
 2010-12-12 23:35:10 +00:00
Ludovic Courtès 65e0e4dd68 GNU Hurd: Add dependency on Parted. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25089
 2010-12-12 23:21:42 +00:00
Ludovic Courtès ef8619b4b2 GNU Parted: Allow cross-GNU builds. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25088
 2010-12-12 23:21:35 +00:00
Ludovic Courtès 0847b74a2c libuuid: Fix cross-GNU builds. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25087
 2010-12-12 23:21:29 +00:00
Michael Raskin d922bfcfc2 Making the current versions of flex/bison the default. Evaluation test passes. Please explicitly pass older versions to any package that can be adversely affected by too-fresh versions. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25086
 2010-12-12 21:48:29 +00:00
Marco Maggesi f3eb5769ca * Add ocamlnet 
svn path=/nixpkgs/trunk/; revision=25072
 2010-12-12 17:53:13 +00:00
Lluís Batlle i Rossell e949c432a2 Fixing the evaluation of eval-release.nix. I don't understand why, but something ends up 
evaluating glibc.hostDrv.


svn path=/nixpkgs/branches/stdenv-updates/; revision=25070
 2010-12-12 17:07:54 +00:00
Lluís Batlle i Rossell a000072893 Adding evopedia. Contributed by Joachim Schiele. 
svn path=/nixpkgs/trunk/; revision=25066
 2010-12-11 22:04:13 +00:00
Marco Maggesi ba8bc4dd33 * Add ocaml-sqlite3 
svn path=/nixpkgs/trunk/; revision=25065
 2010-12-11 15:05:26 +00:00
Marco Maggesi acbc67e004 * Put ocaml 3.12.0 at lower priority because it is not tested very much yet 
svn path=/nixpkgs/trunk/; revision=25063
 2010-12-11 14:39:49 +00:00
Lluís Batlle i Rossell ee04ffcb55 Updating from trunk. I resolved simple conflicts. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25061
 2010-12-11 12:47:00 +00:00
Eelco Dolstra 97d4a54698 * nixSqlite: bump. Also, go back to using SQLite 3.7 because 3.6 also 
gives random "database image is malformed" errors.

svn path=/nixpkgs/trunk/; revision=25050
 2010-12-10 10:22:23 +00:00
Tobias Hammerschmidt 4c9fe18b8a broadcom wireless driver - patch by Vladimír Čunát 
svn path=/nixpkgs/trunk/; revision=25044
 2010-12-09 19:05:19 +00:00
Marco Maggesi ac457478e3 * Add ocaml packages findlib, camlzip, ocaml-ssl, ocaml-batteries, menhir, camomile, ocaml-lwt, cryptokit, ocaml-cryptgps, ounit, ocaml-react 
svn path=/nixpkgs/trunk/; revision=25041
 2010-12-09 15:40:04 +00:00
Marco Maggesi 114fa21c48 * Add ocaml 3.12.0 
svn path=/nixpkgs/trunk/; revision=25040
 2010-12-09 14:03:13 +00:00
Eelco Dolstra 41cffbd0c3 * nixSqlite: use SQLite 3.6.x. 3.7.x gives weird "malformed 
disk image" errors.

svn path=/nixpkgs/trunk/; revision=25023
 2010-12-07 12:03:07 +00:00
Lluís Batlle i Rossell 09bcba17f5 Adding the nanonote openwrt 2.6.36 kernel 
svn path=/nixpkgs/branches/stdenv-updates/; revision=25005
 2010-12-06 15:30:19 +00:00
Eelco Dolstra bf0fa02bff * Fix the GRUB 1 build on x86_64-linux. It didn't build because 
gcc43_multi is broken in the stdenv branch.  However, for GRUB 1 we
  can just use the 32-bit build of GRUB (using callPackage_i686).

svn path=/nixpkgs/branches/stdenv-updates/; revision=25003
 2010-12-06 14:25:58 +00:00
Yury G. Kudryashov c87a2ea713 Add Netlink library 
svn path=/nixpkgs/trunk/; revision=24996
 2010-12-06 12:04:36 +00:00
Yury G. Kudryashov eeda98a673 Remove qt-4.5 
svn path=/nixpkgs/trunk/; revision=24991
 2010-12-06 12:04:09 +00:00
Michael Raskin 07dd3f074b Adding MiniSAT 
svn path=/nixpkgs/trunk/; revision=24984
 2010-12-05 19:54:27 +00:00
Michael Raskin 011d71dcb8 Adding PARI/GP 
svn path=/nixpkgs/trunk/; revision=24983
 2010-12-05 19:11:21 +00:00
Michael Raskin 242d04a69a Adding Singular CAS 
svn path=/nixpkgs/trunk/; revision=24980
 2010-12-05 18:36:07 +00:00
Michael Raskin 6b8abaa29e Adding OpenSMT 
svn path=/nixpkgs/trunk/; revision=24978
 2010-12-05 18:22:14 +00:00
Michael Raskin a9f70d542d Adding CVC3 satisfiability modulo theory (SMT) solver 
svn path=/nixpkgs/trunk/; revision=24975
 2010-12-05 17:28:41 +00:00
Michael Raskin c9c133ab11 Use requireFile for the form-hidden download of JDK 5 (or 1.5, who cares) 
svn path=/nixpkgs/trunk/; revision=24972
 2010-12-05 11:42:24 +00:00
Lluís Batlle i Rossell 1b62c9c061 I made changes to achieve a working cross-built gcc wrapper. Now, 
"gcc45.hostDrv" works in the host system, together with libc, binutils, dynamic
linker, ...


svn path=/nixpkgs/branches/stdenv-updates/; revision=24971
 2010-12-04 21:45:37 +00:00
Michael Raskin 44ac8c5ea1 Adding iProver 
svn path=/nixpkgs/trunk/; revision=24969
 2010-12-04 18:39:44 +00:00
Michael Raskin 86e44e72bf Adding SPASS 
svn path=/nixpkgs/trunk/; revision=24967
 2010-12-04 11:43:01 +00:00
Michael Raskin 64ed7e705d Adding Satallax prover 
svn path=/nixpkgs/trunk/; revision=24963
 2010-12-03 11:26:34 +00:00
Michael Raskin c32bd62956 Adding LEO2 automated higher-order prover 
svn path=/nixpkgs/trunk/; revision=24952
 2010-12-01 21:29:42 +00:00
Lluís Batlle i Rossell b5f1600e49 Fixing the build of dev86 (it does not like gnumake 3.82) 
svn path=/nixpkgs/branches/stdenv-updates/; revision=24940
 2010-11-30 14:46:07 +00:00
Michael Raskin f5e7bc623f Adding crrcsim model airplane flight simulator 
svn path=/nixpkgs/trunk/; revision=24931
 2010-11-29 21:12:53 +00:00