Commit Graph

4652 Commits

Author SHA1 Message Date
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
Ludovic Courtès
3f1a32c266 Image-ExifTool 8.41.
svn path=/nixpkgs/branches/stdenv-updates/; revision=25046
2010-12-09 23:43:01 +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
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
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
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
Lluís Batlle i Rossell
ebe1ebaba8 Adding a stdenv version of links2, to be able to cross-build it. This can be removed once
builderDefs can be made to support the stdenvCross adapter


svn path=/nixpkgs/branches/stdenv-updates/; revision=24927
2010-11-29 18:03:03 +00:00
Ludovic Courtès
0d122e7c6f OProfile: Add dependency on zlib.
svn path=/nixpkgs/branches/stdenv-updates/; revision=24925
2010-11-29 17:42:50 +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
Karn Kallio
675f6eb0c8 Add Nix expression for Perl module SQL::Translator ( also known
as SQL Fairy) and dependencies.

svn path=/nixpkgs/trunk/; revision=24895
2010-11-27 20:54:35 +00:00
Michael Raskin
94585b9776 Add CGUI library
svn path=/nixpkgs/trunk/; revision=24894
2010-11-27 19:38:34 +00:00
Michael Raskin
e5137b9bbf Adding atanks
svn path=/nixpkgs/trunk/; revision=24893
2010-11-27 19:18:22 +00:00
Michael Raskin
ec741fee8c Adding Allegro library
svn path=/nixpkgs/trunk/; revision=24891
2010-11-27 18:31:05 +00:00
Tobias Hammerschmidt
57c1632f11 added flvstreamer
svn path=/nixpkgs/trunk/; revision=24884
2010-11-26 20:04:07 +00:00
Lluís Batlle i Rossell
e18cbe33e6 Adding a fbterm variant building with stdenv to get cross-build-ability
(I want it in the nanonote)


svn path=/nixpkgs/branches/stdenv-updates/; revision=24880
2010-11-26 17:56:23 +00:00
Lluís Batlle i Rossell
0e4c970d11 Updating from trunk - I hope I fixed the conflict around gettext - I left it as
it was before merging.


svn path=/nixpkgs/branches/stdenv-updates/; revision=24876
2010-11-26 14:40:39 +00:00
Lluís Batlle i Rossell
5387036c50 Adding php 5.2 (5.3 does not build on arm), although not the default in the attribute 'php'.
svn path=/nixpkgs/trunk/; revision=24872
2010-11-26 14:26:15 +00:00
Rob Vermaas
0c455b53ac gettext, now properly
svn path=/nixpkgs/trunk/; revision=24869
2010-11-26 12:38:42 +00:00
Rob Vermaas
b37f799732 gettext, now properly
svn path=/nixpkgs/branches/stdenv-updates/; revision=24868
2010-11-26 12:38:09 +00:00
Rob Vermaas
8d9d42f773 add gettext_0_17, gettext_0_18 aliases to gettext, preparation for stdenv merge, concerning gnu hydra build configuration
svn path=/nixpkgs/branches/stdenv-updates/; revision=24867
2010-11-26 12:34:46 +00:00
Rob Vermaas
4db5a0b5a9 add gettext_0_17 alias to gettext, preparation for stdenv merge, concerning gnu hydra build configuration
svn path=/nixpkgs/trunk/; revision=24866
2010-11-26 12:33:48 +00:00
Lluís Batlle i Rossell
4018d18e96 Committing patch adding verilog from Antonio Vargas Gonzalez
From his original, I adapted some spacing, and removed the release.nix reference
(superfluous having set meta.platforms)

svn path=/nixpkgs/trunk/; revision=24860
2010-11-25 22:01:14 +00:00
Michael Raskin
5af12418ef Pass parameters with correct arch to DF
svn path=/nixpkgs/trunk/; revision=24843
2010-11-24 20:05:43 +00:00