doc
|
Fix duplicate ID
|
2012-06-25 11:24:05 -04:00 |
maintainers
|
svn path=/nixpkgs/trunk/; revision=32961
|
2012-03-09 17:53:04 +00:00 |
pkgs
|
TPTP: update to 5.4.0
|
2012-07-07 20:32:48 +04:00 |
.gitignore
|
add `.gitignore'
|
2012-07-07 13:56:29 +02:00 |
COPYING
|
* Applying an MIT-style license to Nixpkgs.
|
2006-04-25 16:50:34 +00:00 |
VERSION
|
* Bump version number.
|
2012-06-04 03:53:25 +00:00 |