Mateusz Kowalczyk d084f40c01 agda: add Agda-Sheaves		2014-09-11 18:49:28 +01:00
..
applications	Fix JWM source URL	2014-09-11 15:54:10 +04:00
build-support	build-fhs-chrootenv: bind mount chroots /tmp to hosts /tmp	2014-09-09 12:10:54 +02:00
data	Add a working URL for arkpandora font	2014-09-11 15:54:10 +04:00
desktops	Merge pull request #4010 from madjar/master	2014-09-10 10:10:36 +02:00
development	agda: add Agda-Sheaves	2014-09-11 18:49:28 +01:00
games	Merge pull request #3934 from MP2E/chocolate-doom	2014-09-09 12:16:18 +02:00
misc	Merge pull request #3829 from ruediger/add/oxygen-gtk3	2014-09-11 11:02:12 +02:00
os-specific	iw: 3.14 -> 3.15	2014-09-09 21:29:43 -07:00
servers	influxdb: update 0.7.0 -> 0.8.2	2014-09-11 18:06:06 +02:00
shells
stdenv
test	s/dependancy/dependency/	2014-09-10 00:28:49 +01:00
tools	pv: update from 1.5.3 to 1.5.7	2014-09-11 13:33:59 +02:00
top-level	agda: add Agda-Sheaves	2014-09-11 18:49:28 +01:00