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

363 commits

Author SHA1 Message Date
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 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 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
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
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
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 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
Peter Simons c82a9c8e10 pkgs/tools/misc/most: added version 5.0.0 
Build instructions courtesy of Tim Horton <tmhorton@gmail.com>.

svn path=/nixpkgs/trunk/; revision=21452
 2010-04-30 09:21:18 +00:00
Lluís Batlle i Rossell 85c1a2b7ff "Remind" update. 
svn path=/nixpkgs/trunk/; revision=21193
 2010-04-21 07:00:49 +00:00
Armijn Hemel 8cd4c577aa update to 4.0.3 
svn path=/nixpkgs/trunk/; revision=20940
 2010-04-04 15:03:47 +00:00
Armijn Hemel 355413e0a5 update to 436 
svn path=/nixpkgs/trunk/; revision=20939
 2010-04-04 15:00:56 +00:00
Ludovic Courtès ff88e57803 GNU Parted 2.2. 
svn path=/nixpkgs/trunk/; revision=20304
 2010-03-01 13:12:48 +00:00
Lluís Batlle i Rossell b0e9724ef5 Quantum leap updating memtest86+. 
svn path=/nixpkgs/trunk/; revision=20122
 2010-02-19 09:48:50 +00:00
Marc Weber 8bd41985a0 make gparted compile again by updating it 
svn path=/nixpkgs/trunk/; revision=19920
 2010-02-11 02:43:48 +00:00
Eelco Dolstra a617a7c239 * Sync with the trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=19786
 2010-02-03 14:23:43 +00:00
Ludovic Courtès cf3b87d747 GNU GRUB 1.97.2. 
svn path=/nixpkgs/trunk/; revision=19656
 2010-01-25 22:04:03 +00:00
Lluís Batlle i Rossell bcba809460 Updating from trunk. 
svn path=/nixpkgs/branches/stdenv-updates/; revision=19654
 2010-01-25 18:52:07 +00:00