Gabriel Ebner d06a172c1c metis-prover: init at 2.3		2015-09-25 10:48:39 +02:00
..
applications	metis-prover: init at 2.3	2015-09-25 10:48:39 +02:00
build-support	nix-prefetch-git: pull all tags from remote when checkouting by revision	2015-09-20 18:24:34 +02:00
data	noto-fonts-emoji: fixup chrooted build	2015-09-21 11:32:06 +02:00
desktops	pantheon-terminal: 0.3.0.1 -> 0.3.1.3	2015-09-20 18:24:37 +02:00
development	ctpp2: init at 2.8.3.	2015-09-25 10:48:38 +02:00
games	hackage-packages.nix: switch our default package set to Stackage Nightly	2015-09-19 08:20:40 +02:00
misc	mgba: use Qt 5.4	2015-09-19 10:01:25 -05:00
os-specific	broadcom-sta: fix build on kernel >= 4.2 (close #9953)	2015-09-20 08:01:37 +02:00
servers	samba: 4.2.3 -> 4.3.0	2015-09-18 14:52:51 -07:00
shells	Merge commit 'a6f6c0e' into master.upstream	2015-09-15 12:16:49 -07:00
stdenv	Enable separate debug info	2015-09-17 15:56:33 +02:00
test
tools	btrfsProgs: 4.2.0 -> 4.2.1	2015-09-21 11:33:41 -07:00
top-level	metis-prover: init at 2.3	2015-09-25 10:48:39 +02:00