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

3848 commits

Author SHA1 Message Date
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
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
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
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
Peter Simons 50a167ba7b pkgs/shells/ipython: added initial version of ipython 0.10.1 
Committing on behalf of Cillian de Róiste <cillian.deroiste@gmail.com>.

svn path=/nixpkgs/trunk/; revision=24928
 2010-11-29 18:04:56 +00:00
Eelco Dolstra aa01c8abd6 * Added xdelta. 
svn path=/nixpkgs/trunk/; revision=24907
 2010-11-28 16:37:48 +00:00
Michael Raskin a095746651 Add stardust 
svn path=/nixpkgs/trunk/; revision=24905
 2010-11-28 13:16:47 +00:00
Tobias Hammerschmidt 1db5a9df76 added tmux 
svn path=/nixpkgs/trunk/; revision=24904
 2010-11-28 12:38:35 +00:00