roconnor 22838a8f99 Merge pull request #9765 from roconnor/master ... Add csdp support for Micromega tactics in Coq.		2015-09-11 00:19:08 -04:00
..
altcoins	add bitcoin-xt as a separate package	2015-08-20 23:57:10 -07:00
audio	dfasma: 1.2.0 -> 1.2.4	2015-09-10 01:02:20 +02:00
backup/crashplan	crashplan: install desktop file	2014-12-19 23:26:35 +01:00
display-managers	fix homepages	2015-07-28 12:33:30 +03:00
editors	eclipse-plugin-checkstyle: 6.5.0.201504121610 -> 6.9.0.201508291549	2015-09-09 09:47:48 +02:00
gis	qgis: fix python console and processing plugin	2015-08-06 17:17:39 +02:00
graphics	Merge pull request #9761 from eduarrrd/photoqt	2015-09-10 22:20:02 +03:00
inferno	rename <gcc-frontend>.gcc to <gcc-frontend>.cc	2015-01-14 20:59:10 -08:00
kde-apps-15.04	cantor: patch to fix filename string type	2015-08-30 07:23:44 -05:00
misc	Merge pull request #9768 from matthiasbeyer/update-khard	2015-09-10 19:18:55 +03:00
networking	rsstail: 2.0 -> 2015-09-06	2015-09-10 01:47:09 +02:00
office	Doh	2015-09-01 12:53:26 +02:00
science	coq: Add csdp dependency	2015-09-10 11:50:38 -04:00
search	recoll: make use of unrtf, untex, and Word Perfect filters	2015-07-15 17:03:18 +02:00
taxes	orig-gcc -> orig-cc	2015-03-04 22:15:46 +01:00
version-management	git-radar: init at 0.3.2	2015-09-08 08:44:51 +02:00
video	popcorntime: 0.3.7.2 -> 0.3.8-3	2015-09-05 16:01:37 +02:00
virtualization	virtualbox: Update to 5.0.4	2015-09-10 20:48:16 +02:00
window-managers	Herbstluftwm: Fix zsh completion.	2015-09-10 19:44:17 +02:00