1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
nixpkgs/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
bc
bfr * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
bogofilter
convmv
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
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
expect
fdupes
figlet * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
file
findutils
fontforge * Drop pkgsOverriden. 2010-07-30 12:10:24 +00:00
getopt
gnokii
gnuvd
gparted * More cleanup. 2010-07-28 15:35:01 +00:00
grub
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
jdiskreport
kermit
keychain * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
less
man
man-db
mc
mcrl
mcrl2
mdbtools
memtest86
minicom
most
mssys
myhasktags
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
partition-manager Explicit pkgs.prefix 2010-08-21 19:27:31 +00:00
pg_top
pinentry
pk2cmd
proxytunnel * Get rid of many instances of "args: with args;", and other coding 2010-07-28 11:55:54 +00:00
psmisc
pv
qdu
remind
rlwrap * ltrace: updated to 0.5.3. 2010-07-29 18:55:16 +00:00
rrdtool
screen
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
system-config-printer
testdisk
time
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
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
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
xsel