Commit graph

4571 commits

Author SHA1 Message Date
Lluís Batlle i Rossell 7df337558a Trying to add ultrastardx. It fails for me in x86_64. I invite others to test or fix it,
as I know zero about fpc.

svn path=/nixpkgs/trunk/; revision=25305
2010-12-28 14:56:08 +00:00
Yury G. Kudryashov e9e22a7238 Rename hupnp to herqq
Don't pass it to kdelibs as it breaks kdelibs build

svn path=/nixpkgs/trunk/; revision=25289
2010-12-26 17:18:13 +00:00
Yury G. Kudryashov 20bffe3591 Add hupnp library
svn path=/nixpkgs/trunk/; revision=25286
2010-12-26 15:27:26 +00:00
Yury G. Kudryashov 58ca4111ad Start kde-4.6: copy 4.5, remove from release
svn path=/nixpkgs/trunk/; revision=25279
2010-12-26 15:26:01 +00:00
Michael Raskin 88d5eeda98 Adding sauerbraten
svn path=/nixpkgs/trunk/; revision=25278
2010-12-26 13:14:15 +00:00
Karn Kallio 4bbb72da2f Add tex macro lkproof for making proof figures.
svn path=/nixpkgs/trunk/; revision=25277
2010-12-25 18:06:36 +00:00
Karn Kallio 801ce7d5fb Add Concurrent Clean to NixPkgs.
svn path=/nixpkgs/trunk/; revision=25276
2010-12-25 15:13:07 +00:00
Marco Maggesi 51d6c8df91 * Handle variable createFindlibDestdir correctly in ocaml-findlib
* Fix HOL Light derivation

svn path=/nixpkgs/trunk/; revision=25269
2010-12-23 19:28:06 +00:00
Sander van der Burg 706a9ed1e8 Added MySQL-python + nose (which is a dependency)
svn path=/nixpkgs/trunk/; revision=25245
2010-12-22 17:03:30 +00:00
Michael Raskin 22c42a26b6 Adding OGRE - object-oriented graphical engine
svn path=/nixpkgs/trunk/; revision=25240
2010-12-22 14:50:13 +00:00
Sander van der Burg 80af0654fb Bumped activation scripts so that postgresql and subversion types are supported
svn path=/nixpkgs/trunk/; revision=25234
2010-12-22 13:31:25 +00:00
Michael Raskin 286e4c75fd Corresponding all-packages.nix changes
svn path=/nixpkgs/trunk/; revision=25233
2010-12-22 10:47:12 +00:00
Michael Raskin 3e5e7b0c74 Fixing libcgroup attribute name
svn path=/nixpkgs/trunk/; revision=25229
2010-12-22 09:52:32 +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
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
Eelco Dolstra 70a99c95e2 * Added Term::ReadLine::Gnu.
svn path=/nixpkgs/trunk/; revision=25155
2010-12-16 14:25:05 +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
Marco Maggesi f3eb5769ca * Add ocamlnet
svn path=/nixpkgs/trunk/; revision=25072
2010-12-12 17:53:13 +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
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
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
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
Rob Vermaas 44e152f8d8 add Crypt::RandPasswd perl package
svn path=/nixpkgs/trunk/; revision=24962
2010-12-03 09:51:33 +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
Michael Raskin f5e7bc623f Adding crrcsim model airplane flight simulator
svn path=/nixpkgs/trunk/; revision=24931
2010-11-29 21:12:53 +00:00
Michael Raskin cfce1c0b98 Adding GL-117
svn path=/nixpkgs/trunk/; revision=24930
2010-11-29 20:51:09 +00:00