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
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
Evgeny Egorochkin
51492e5533
openbox: packaged. Patch by rixed@happyleptic.org.
...
svn path=/nixpkgs/trunk/; revision=24902
2010-11-28 10:07:49 +00:00
Evgeny Egorochkin
676562ac15
encfs: packaged. Patch by Ambrus Kaposi.
...
svn path=/nixpkgs/trunk/; revision=24900
2010-11-28 09:59:13 +00:00
Evgeny Egorochkin
b89f2ef1e4
system-config-printer: fix runtime errors. Patch by Karn Kallio.
...
svn path=/nixpkgs/trunk/; revision=24899
2010-11-28 09:46:51 +00:00
Evgeny Egorochkin
5e994b9153
ekiga: fix build failure. Patch by Karn Kallio.
...
svn path=/nixpkgs/trunk/; revision=24897
2010-11-28 09:21:36 +00:00