Lluís Batlle i Rossell
cca1cae042
Updating from trunk. I had to do some changes to make it fit.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23500
2010-08-29 11:09:23 +00:00
Michael Raskin
05c7e81eaa
Move E prover to applications/science/logic
...
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
Michael Raskin
091be03f65
Update E prover
...
svn path=/nixpkgs/trunk/; revision=23433
2010-08-25 22:23:55 +00:00
Yury G. Kudryashov
608cde4f82
Explicit pkgs.prefix
...
svn path=/nixpkgs/trunk/; revision=23329
2010-08-21 19:27:31 +00:00
Ludovic Courtès
96da0397a9
GNU Coreutils 8.5.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23279
2010-08-20 15:26:31 +00:00
Lluís Batlle i Rossell
f16353b6f2
Updated from trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23275
2010-08-20 13:41:12 +00:00
Ludovic Courtès
82968aa583
GNU Parallel 20100722.
...
svn path=/nixpkgs/trunk/; revision=23258
2010-08-19 16:56:41 +00:00
Eelco Dolstra
1ac9dcd24d
* Fix eval-release.nix by testing whether all attributes of a
...
derivation evaluate inside the tryEval. This catches cases such as
aufs2-util, which fails due to an assertion in its dependency aufs2.
* Explicitly blacklist "xbursttools" because it gives some
evaluation error in cross-OpenSSL. No idea why, probably due to
some pass-through attribute.
svn path=/nixpkgs/trunk/; revision=23247
2010-08-19 12:37:10 +00:00
Eelco Dolstra
0c9a370aa0
* Updated desktop-file-utils to 0.16.
...
svn path=/nixpkgs/trunk/; revision=23182
2010-08-16 07:45:39 +00:00
David Guibert
284217c135
update ttf-mkfontdir
...
svn path=/nixpkgs/trunk/; revision=23134
2010-08-12 05:59:52 +00:00
Lluís Batlle i Rossell
ff5d0fa448
Merging from trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=23072
2010-08-09 21:21:30 +00:00
Lluís Batlle i Rossell
ac387916b8
Adding the calendar program 'pal'
...
svn path=/nixpkgs/trunk/; revision=23070
2010-08-09 21:13:36 +00:00
Peter Simons
1a6039cb45
Enable parallel building of gcc, glibc, gmp, mpfr, ncurses, coreutils, perl, python, git, and qt4.
...
If a build expressions has set "enableParallelBuilding = true", then the
generic builder may utilize more than one CPU core to build that particular
expression. This feature works out of the box for GNU Make. Expressions that
use other build drivers like Boost.Jam or SCons have to specify appropriate
flags such as "-j${NIX_BUILD_CORES}" themselves.
svn path=/nixpkgs/trunk/; revision=23042
2010-08-08 18:51:42 +00:00
Lluís Batlle i Rossell
5417c720fd
Merging from trunk.
...
I tried to fix some trivial conflicts.
I don't know if I merged well some more difficult conflicts on openssl/darwin_patch
or haskell-platform.
svn path=/nixpkgs/branches/stdenv-updates/; revision=22878
2010-08-02 15:48:19 +00:00
Rob Vermaas
ec5dba7620
remove commented license attribute
...
svn path=/nixpkgs/trunk/; revision=22862
2010-08-02 09:09:25 +00:00
Rob Vermaas
fb6ca79d35
HDF5 1.8.5
...
svn path=/nixpkgs/trunk/; revision=22861
2010-08-02 08:58:53 +00:00
Eelco Dolstra
9375dad95a
* Remove findutils-wrapper (obsolete).
...
* Remove some unnecessary / inappropriate lowPrios.
svn path=/nixpkgs/trunk/; revision=22825
2010-07-30 12:31:10 +00:00
Eelco Dolstra
ee4fe6ea84
* Drop pkgsOverriden.
...
svn path=/nixpkgs/trunk/; revision=22823
2010-07-30 12:10:24 +00:00
Lluís Batlle i Rossell
b044e64989
Making the xburst-tools for the Ben Nanonote build the firmware they need to
...
communicate with it. This involves making a cross-compiler for mipsel.
svn path=/nixpkgs/trunk/; revision=22818
2010-07-29 23:26:07 +00:00
Lluís Batlle i Rossell
537ad15e86
Adding xburst-tools to manage the USB_BOOT mode of the Ben Nanonote (reflashing, ...)
...
I add the 'confuse' library as a side effect.
svn path=/nixpkgs/trunk/; revision=22817
2010-07-29 23:25:42 +00:00
Eelco Dolstra
907bb1aac6
* ltrace: updated to 0.5.3.
...
* libdbi / libdbi-drivers: updated to 0.8.3, and make it compile with
SQLite.
* qemu-image: fix the URL.
* gdmap: make it build again (requires an older GTK+).
* rlwrap: updated to 0.37.
* smbfs-fuse -> fusesmb to match the upstream name.
* x11vnc: updated to 0.9.10.
* clearlyU: fix the URL.
* Various packages: follow the coding conventions.
svn path=/nixpkgs/trunk/; revision=22814
2010-07-29 18:55:16 +00:00
Eelco Dolstra
ba498d4a43
* composedArgsAndFun -> makeOverridable for consistency.
...
* Rename a few single-version packages to "default.nix".
svn path=/nixpkgs/trunk/; revision=22803
2010-07-29 08:21:21 +00:00
Eelco Dolstra
f1598a8941
* More cleanup.
...
svn path=/nixpkgs/trunk/; revision=22798
2010-07-28 18:01:17 +00:00
Eelco Dolstra
749b8607ca
* More cleanup.
...
svn path=/nixpkgs/trunk/; revision=22795
2010-07-28 15:35:01 +00:00
Eelco Dolstra
6609710409
* Get rid of many instances of "args: with args;", and other coding
...
guidelines violations.
* Updated libsamplerate to 0.1.7.
svn path=/nixpkgs/trunk/; revision=22782
2010-07-28 11:55:54 +00:00
Eelco Dolstra
95c5f85819
* Fix misspelled package name.
...
svn path=/nixpkgs/trunk/; revision=22777
2010-07-28 08:21:56 +00:00
Eelco Dolstra
37f6612875
* Disable GRUB 2's `make check' by default, because it requires QEMU.
...
It's not so desirable to have GRUB 2 depend on X11, Mesa, SDL,
PulseAudio, ... (I became very confused when changing Mesa triggered
a rebuild of GRUB.)
svn path=/nixpkgs/branches/x-updates/; revision=22680
2010-07-20 19:22:02 +00:00
Ludovic Courtès
c3484e59e9
GNU GRUB 1.98.
...
svn path=/nixpkgs/trunk/; revision=22465
2010-07-04 21:11:13 +00:00
Ludovic Courtès
21d55c8d60
GNU Parted 2.3.
...
svn path=/nixpkgs/trunk/; revision=22462
2010-07-04 21:10:58 +00:00
Ludovic Courtès
4789ced578
GNU Idutils 4.5.
...
svn path=/nixpkgs/trunk/; revision=22461
2010-07-04 21:10:54 +00:00
Ludovic Courtès
7acfdbfe63
GNU Parallel 20100620.
...
svn path=/nixpkgs/trunk/; revision=22460
2010-07-04 21:10:49 +00:00
Yury G. Kudryashov
41e58b3982
Add convmv
...
svn path=/nixpkgs/trunk/; revision=22444
2010-07-03 08:06:01 +00:00
Peter Simons
70240d36ac
Enable parallel building of gcc, glibc, gmp, mpfr, coreutils, perl, git, and qt4.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=22400
2010-06-23 14:35:18 +00:00
Lluís Batlle i Rossell
86345919c2
Updating from trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=22254
2010-06-14 09:28:10 +00:00
David Guibert
960e2d2a84
gparted: fix url
...
svn path=/nixpkgs/trunk/; revision=22176
2010-06-08 06:20:03 +00:00
Michael Raskin
43790aa2dc
Fixing Gnokii build
...
svn path=/nixpkgs/trunk/; revision=22160
2010-06-05 21:14:41 +00:00
Michael Raskin
9709be4f16
Update gnokii
...
svn path=/nixpkgs/trunk/; revision=22119
2010-06-03 11:30:05 +00:00
Eelco Dolstra
0cef95c341
* Remove our hacked up version of `su' from coreutils.
...
svn path=/nixpkgs/trunk/; revision=22108
2010-06-02 21:11:21 +00:00
David Guibert
95683bb7c7
qdu: fix bad formatting.
...
svn path=/nixpkgs/trunk/; revision=22054
2010-05-29 12:33:24 +00:00
David Guibert
8a8a0327ff
add qdu: a graphical disk usage based on qt.
...
svn path=/nixpkgs/trunk/; revision=22021
2010-05-27 19:44:12 +00:00
Lluís Batlle i Rossell
85e1bc7d34
Fixing coreutils - I did not merge that well enough
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=21976
2010-05-25 20:41:53 +00:00
Lluís Batlle i Rossell
fa1a414aee
Merging from trunk - I had to resolve conflicts on coreutils; I hope I resolved that
...
well
svn path=/nixpkgs/branches/stdenv-updates/; revision=21975
2010-05-25 20:38:18 +00:00
Ludovic Courtès
0b2906ca28
Add cross Coreutils.
...
svn path=/nixpkgs/trunk/; revision=21935
2010-05-21 13:46:54 +00:00
Yury G. Kudryashov
7751f8bd62
Upgrade pinentry to 0.8.0
...
Also add optional pinentry-qt4
svn path=/nixpkgs/trunk/; revision=21882
2010-05-19 20:58:35 +00:00
Lluís Batlle i Rossell
6d88da9a23
Merging from trunk (conflict on glibc, I think I resolved it)
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=21879
2010-05-19 15:26:00 +00:00
Lluís Batlle i Rossell
074e7db41a
Adding an assertion for pk2cmd to build only on linux.
...
svn path=/nixpkgs/trunk/; revision=21728
2010-05-11 16:17:35 +00:00
Lluís Batlle i Rossell
001a74368f
Adding the Microchip software for the PICKit2 programmer: pk2cmd
...
svn path=/nixpkgs/trunk/; revision=21726
2010-05-11 16:17:26 +00:00
Ludovic Courtès
8298738364
Add GNU Parallel.
...
svn path=/nixpkgs/trunk/; revision=21552
2010-05-02 09:27:32 +00:00
Peter Simons
52884c145f
pkgs/tools/misc/most/default.nix: added license tag (GPLv2)
...
svn path=/nixpkgs/trunk/; revision=21461
2010-04-30 16:06:01 +00:00
Peter Simons
d4221fa80a
pkgs/tools/misc/most/default.nix: cosmetic changes
...
svn path=/nixpkgs/trunk/; revision=21460
2010-04-30 16:05:55 +00:00