applications
|
git: updated to version 1.7.4.4
|
2011-04-07 12:46:58 +00:00 |
build-support
|
* Sync with the trunk.
|
2011-04-04 13:36:05 +00:00 |
desktops
|
libsoup 2.33
|
2011-03-18 08:25:46 +00:00 |
development
|
Added Agda-executable.
|
2011-04-07 12:10:38 +00:00 |
games
|
Adding Speed Dreams (a TORCS fork)
|
2011-04-04 05:01:53 +00:00 |
lib
|
Add mkAssert.
|
2011-03-30 11:18:10 +00:00 |
misc
|
Fixing the name of darcnes.
|
2011-03-27 20:14:42 +00:00 |
servers
|
* Added rabbitmq-server.
|
2011-03-31 11:09:20 +00:00 |
shells
|
* getmail: don't use pythonFull.
|
2011-03-28 13:13:15 +00:00 |
test
|
Add a new way to handle option sets.
|
2008-08-05 17:16:35 +00:00 |
top-level
|
Added Agda-executable.
|
2011-04-07 12:10:38 +00:00 |