Mateusz Kowalczyk 61c17e326f Use agda builder for stdlib. mv to all-packages		2014-09-01 01:38:01 +01:00
..
applications	processing: keep processing-java and patch it to make it work	2014-08-31 22:46:02 +02:00
build-support	Add a builder for Agda packages.	2014-09-01 01:05:48 +01:00
data	Update CM-Unicode font; note its migration to SF.net	2014-08-31 20:11:55 +04:00
desktops	Make sure gnome-python has gnomevfs binding	2014-08-30 15:56:22 +02:00
development	Use agda builder for stdlib. mv to all-packages	2014-09-01 01:38:01 +01:00
games	hawkthorne: Initial commit, license issue still unresolved	2014-08-31 20:08:15 +01:00
misc	Update unstable Wine	2014-08-31 18:20:06 +04:00
os-specific	Make dmeventd support in lvm2 optional; use it for dmraid	2014-09-01 02:06:41 +04:00
servers	munin: fix test	2014-08-31 16:54:09 +02:00
shells
stdenv
test
tools	Update guitone	2014-09-01 00:38:07 +04:00
top-level	Use agda builder for stdlib. mv to all-packages	2014-09-01 01:38:01 +01:00