Vincent Laporte 58297aa1e7 Why3: build also the Coq tactic.		2015-01-29 08:43:15 +01:00
..
audio	Merge pull request #5587 from nckx/keyfinder	2015-01-28 14:49:57 +01:00
backup/crashplan
display-managers
editors	haskell-mode: update git version to current HEAD	2015-01-21 18:47:56 +01:00
gis
graphics	Merge pull request #5911 from echo-oddly/leocad	2015-01-27 12:59:26 +01:00
inferno
kde-apps-14.12	kdeApps: update to 14.12.1	2015-01-26 21:01:06 -06:00
misc	pstree: fix direct reference to gcc	2015-01-28 12:35:54 +01:00
networking	Merge pull request #6011 from taku0/firefox-bin-35.0.1	2015-01-28 12:10:31 +01:00
office	restrict platforms to Linux	2015-01-25 12:27:53 -05:00
science	Why3: build also the Coq tactic.	2015-01-29 08:43:15 +01:00
search
taxes
version-management	Merge pull request #5750 from rycee/issue/5741	2015-01-28 14:52:45 +01:00
video	Merge pull request #5850 from edwtjo/kodi-plugins	2015-01-24 14:17:14 +01:00
virtualization
window-managers	i3lock: it's cleaner to use $out/share/man in the first place.	2015-01-28 19:56:13 +01:00