Vincent Laporte fe1d8d0015 cvc4: new derivation ... CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. Homepage: http://cvc4.cs.nyu.edu/web/		2014-10-12 16:21:02 +02:00
..
audio	apulse: add pkg	2014-10-12 12:21:09 +01:00
display-managers	Various SLIM themes, obtained from Sourceforge's SLIM website	2014-09-21 19:55:26 +01:00
editors	idea.android-studio: bump 0.8.10 -> 0.8.12	2014-10-12 10:27:10 +02:00
gis	fixed some meta.maintainers attributes	2014-09-26 23:44:29 +02:00
graphics	change md5sum to sha256sum for a few packages	2014-10-12 16:13:21 +02:00
inferno	Add missing 's' in remaining meta.maintainer(s) attrs	2014-07-22 23:49:21 +02:00
misc	Merge pull request #4498 from robberer/remove/md5	2014-10-12 16:20:10 +02:00
networking	change md5sum to sha256sum for a few packages	2014-10-12 16:13:21 +02:00
office	gnucash: delete icon theme cache	2014-09-27 13:48:09 +02:00
science	cvc4: new derivation	2014-10-12 16:21:02 +02:00
search	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
taxes
version-management	Apparently now monotoneViz source got fixed	2014-10-09 10:34:11 +04:00
video	xbmcPlugins.genesis: added package	2014-10-12 12:35:09 +01:00
virtualization	virt-manager: fix missing schema error	2014-10-03 16:09:03 +02:00
window-managers	awesome: generate manpages	2014-10-11 21:56:50 +02:00