Arseniy Seroka f63db297d6 Merge pull request #12519 from gebner/metis-20160102 ... metis-prover: 2.3.20160101 -> 2.3.20160102		2016-01-21 18:39:57 +03:00
..
altcoins	FreeBSD patches for miniupnpc, boost, bitcoin	2016-01-01 16:59:48 +00:00
audio	Merge pull request #12206 from mayflower/mopidy/https	2016-01-20 13:08:57 +01:00
backup/crashplan
display-managers	sddm: fix focus of the password field	2016-01-13 18:12:01 +03:00
editors	idea.idea-{community,ultimate}: 15.0.2 -> 15.0.3	2016-01-21 10:06:52 +01:00
gis	grass: 7.0.1 -> 7.0.2	2015-12-01 09:15:28 +01:00
graphics	imagemagick: add a more "reliable" mirror to fix #12493	2016-01-20 09:11:23 +01:00
inferno
kde-apps-15.12	kde5.apps: 15.12.0 -> 15.12.1	2016-01-12 13:26:37 -06:00
misc	guake: init at 0.8.3 (close #11027)	2016-01-20 19:33:48 +01:00
networking	Merge pull request #12517 from kragniz/weechat-1.4	2016-01-21 10:37:58 +01:00
office	ib-tws, ib-controller: init at 9542 and 2.14.0, fixes #8142	2016-01-20 04:42:30 +01:00
science	Merge pull request #12519 from gebner/metis-20160102	2016-01-21 18:39:57 +03:00
search
taxes
version-management	Merge branch 'master' into staging	2016-01-15 13:43:57 +01:00
video	smtube: add missing build dependency	2016-01-15 10:04:06 +01:00
virtualization	multipath_tools: Rename to multipath-tools	2016-01-21 16:18:38 +01:00
window-managers	lemonbar: 1.1 -> 1.2pre	2016-01-16 16:03:18 +01:00