Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
08f647a5e6de56f5a762929b7a68447d0937ee33
nixpkgs/pkgs/tools/misc
History
Michael Raskin c86efaec81 Added E authomated theorem prover and script eproof-tptp for TPTP syntax. 
svn path=/nixpkgs/trunk/; revision=9418
2007-10-07 13:37:08 +00:00
..
bc
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
coreutils
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
coreutils-5
* Fix static linking in gcc.
2006-10-27 20:08:53 +00:00
eProver
Added E authomated theorem prover and script eproof-tptp for TPTP syntax.
2007-10-07 13:37:08 +00:00
file
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00
findutils
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
findutils-wrapper
…
fontforge
* Rewrite all the SourceForge URLs to mirror://sourceforge/.
2007-08-27 13:01:33 +00:00
getopt
* Remove a bunch of unused Nix expressions.
2006-10-12 15:43:01 +00:00
grub
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00
jdiskreport
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00
less
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00
man
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00
parted
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
qtparted
* Rewrite all the SourceForge URLs to mirror://sourceforge/.
2007-08-27 13:01:33 +00:00
screen
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
su
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
testdisk
* Added TestDisk, a program for fixing unbootable disks.
2007-09-12 15:49:28 +00:00
time
* Rewrite all URLs to GNU mirrors to mirror://gnu/.
2007-08-27 13:42:00 +00:00
timidity
Returned timidity and its expression with a last-minute-fix..
2007-09-23 16:28:56 +00:00
units
Added some descriptions.
2007-06-26 11:49:45 +00:00
wv
* Rewrite all the SourceForge URLs to mirror://sourceforge/.
2007-08-27 13:01:33 +00:00
xclip
sorry for the typo
2007-09-23 15:17:30 +00:00
xmltv
* Rewrite all the SourceForge URLs to mirror://sourceforge/.
2007-08-27 13:01:33 +00:00
xsel
* Reverted r6713, r6711, r4623, r3660, r2237. There rewrote fetchurl
2007-08-24 12:32:36 +00:00