applications
|
thunderbird: Disable parallel building
|
2012-12-09 02:07:42 +01:00 |
build-support
|
Update E prover
|
2012-12-09 00:36:38 +04:00 |
data
|
Remove a bunch of unreferenced files
|
2012-11-29 13:43:37 +01:00 |
desktops
|
Remove a bunch of unreferenced files
|
2012-11-29 13:43:37 +01:00 |
development
|
Fix installation of Tk wrapper
|
2012-12-09 20:06:34 +04:00 |
misc
|
Update Wine
|
2012-12-08 13:28:15 +04:00 |
os-specific
|
linux: Update to 3.2
|
2012-12-07 13:24:40 +01:00 |
shells
|
bash-completion: remove NixOS-specific patch
|
2012-10-16 18:26:02 +02:00 |
top-level
|
Update E prover
|
2012-12-09 00:36:38 +04:00 |