nixpkgs-suyu/pkgs/tools/misc
Michael Raskin 05c7e81eaa Move E prover to applications/science/logic
svn path=/nixpkgs/trunk/; revision=23434
2010-08-25 22:38:11 +00:00
..
autojump Add Autojump, a smart replacement for `cd'. 2009-05-26 22:05:05 +00:00
bc Making bc use readline. I prefer bc with readline. 2009-04-08 07:29:42 +00:00
bfr * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
bogofilter * Cleaned up a lot of description fields that contained newlines. 2009-03-03 13:27:40 +00:00
convmv Add convmv 2010-07-03 08:06:01 +00:00
coreutils Enable parallel building of gcc, glibc, gmp, mpfr, ncurses, coreutils, perl, python, git, and qt4. 2010-08-08 18:51:42 +00:00
coreutils-5 Updating the dependencies of the new coreutils: they need perl. 2009-11-20 20:26:36 +00:00
debootstrap * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
desktop-file-utils * Updated desktop-file-utils to 0.16. 2010-08-16 07:45:39 +00:00
ethtool * added ethtool 6 2009-09-22 08:37:41 +00:00
expect fix various builds by updating perl URI package update perl URI package 2009-12-21 08:55:31 +00:00
fdupes added fdupes-1.40 (utility to find duplicate files) provided by Marco Maggesi 2008-10-28 11:56:43 +00:00
figlet * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
file * bumped version for file 2009-06-22 11:41:14 +00:00
findutils GNU Find Utilities 4.4.1. 2009-04-22 12:11:21 +00:00
fontforge * Drop pkgsOverriden. 2010-07-30 12:10:24 +00:00
getopt * Get rid of all references to nix.cs.uu.nl. 2008-11-14 16:57:19 +00:00
gnokii Fixing Gnokii build 2010-06-05 21:14:41 +00:00
gnuvd * added gnuvd, dutch dictionary application 2009-09-16 08:36:05 +00:00
gparted * More cleanup. 2010-07-28 15:35:01 +00:00
grub * Disable GRUB 2's `make check' by default, because it requires QEMU. 2010-07-20 19:22:02 +00:00
hddtemp * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
hdf5 remove commented license attribute 2010-08-02 09:09:25 +00:00
idutils GNU Idutils 4.5. 2010-07-04 21:10:54 +00:00
jdiskreport * Quick start section. 2008-06-17 14:19:59 +00:00
kermit Adding kermit. 2009-09-14 18:50:17 +00:00
keychain * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
less update to 436 2010-04-04 15:00:56 +00:00
man Fixing purity in 'man' build. 2009-09-24 22:18:59 +00:00
man-db * man -> man-db. 2008-02-10 17:40:46 +00:00
mc - Fixed slang so that it always finds the terminfo files 2009-09-16 17:52:54 +00:00
mcrl * added mCRL 2009-06-05 13:32:39 +00:00
mcrl2 * libX11 dep MCRL2 2009-06-07 16:17:49 +00:00
mdbtools * Removed selectVersion. There's no good reason to write 2009-11-18 09:39:59 +00:00
memtest86 Quantum leap updating memtest86+. 2010-02-19 09:48:50 +00:00
minicom * Removed selectVersion. There's no good reason to write 2009-11-18 09:39:59 +00:00
most pkgs/tools/misc/most/default.nix: added license tag (GPLv2) 2010-04-30 16:06:01 +00:00
mssys * Added ms-sys, a program for writing Microsoft compatible boot records. 2008-01-31 10:40:21 +00:00
myhasktags myhasktags: new hash 2009-11-22 21:28:28 +00:00
mysql2pgsql * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
pal Adding the calendar program 'pal' 2010-08-09 21:13:36 +00:00
parallel GNU Parallel 20100722. 2010-08-19 16:56:41 +00:00
parted GNU Parted 2.3. 2010-07-04 21:10:58 +00:00
partition-manager Explicit pkgs.prefix 2010-08-21 19:27:31 +00:00
pg_top added pg_top 2009-10-08 08:53:21 +00:00
pinentry Upgrade pinentry to 0.8.0 2010-05-19 20:58:35 +00:00
pk2cmd Adding an assertion for pk2cmd to build only on linux. 2010-05-11 16:17:35 +00:00
proxytunnel * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
psmisc * psmisc 22.7. 2009-06-15 21:43:48 +00:00
pv Adding pipe viewer. 2009-03-22 12:34:30 +00:00
qdu qdu: fix bad formatting. 2010-05-29 12:33:24 +00:00
remind "Remind" update. 2010-04-21 07:00:49 +00:00
rlwrap * ltrace: updated to 0.5.3. 2010-07-29 18:55:16 +00:00
rrdtool Adding rrdtool. 2009-03-25 19:13:24 +00:00
screen update to 4.0.3 2010-04-04 15:03:47 +00:00
shebangfix * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
slsnif * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
syslog-ng Added syslog-ng (and the eventlog library that it depends on). 2009-02-05 16:50:45 +00:00
system-config-printer * system-config-printer: don't apply autoconf/automake, because then 2009-04-20 14:10:15 +00:00
testdisk * Cleaned up a lot of description fields that contained newlines. 2009-03-03 13:27:40 +00:00
time GNU Time: Improve meta-information. 2009-04-24 13:28:16 +00:00
timidity * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
ttf2pt1 * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
ttmkfdir update ttf-mkfontdir 2010-08-12 05:59:52 +00:00
units
uucp * Removed selectVersion. There's no good reason to write 2009-11-18 09:39:59 +00:00
w3c-css-validator * More cleanup. 2010-07-28 18:01:17 +00:00
wv * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
wv2 Added wv2 library 2009-05-28 19:22:32 +00:00
xburst-tools Making the xburst-tools for the Ben Nanonote build the firmware they need to 2010-07-29 23:26:07 +00:00
xclip * More cleanup. 2010-07-28 15:35:01 +00:00
xmltv * Drop the "perl" prefix from Perl attribute names. It's redundant 2009-04-20 12:49:35 +00:00
xsel