applications
|
Adding E-KRHyper theorem prover
|
2013-05-09 17:47:58 +04:00 |
build-support
|
kdewrapper: fixes in env vars
|
2013-05-09 18:44:27 +00:00 |
development
|
Update Racket: patch by Karn Kallio
|
2013-05-10 00:50:18 +04:00 |
lib
|
Revert Merge x-updates into master due to mesa bloat
|
2013-05-09 14:03:35 +02:00 |
shells
|
bash-completion: update to version 2.1
|
2013-04-10 17:39:09 +02:00 |
stdenv
|
mkDerivation: Allow direct access to passthru
|
2013-05-03 09:07:42 -04:00 |
top-level
|
Adding pygobject3 (for bluez4).
|
2013-05-09 19:11:30 +00:00 |