Austin Seipp 54ae0aa1b0 z3_opt: remove and replace with z3 ... Z3 has supported optimization features since the 4.4.x release, so this can be removed. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2017-09-02 04:19:11 -05:00
..
altcoins	hivemind: Fix boost version dependency	2017-08-30 13:15:51 +02:00
audio	Merge pull request #28872 from disassembler/freewheeling	2017-09-02 08:28:14 +01:00
backup	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
display-managers	sddm: no propagatedBuildInputs	2017-08-21 06:51:33 -05:00
editors	rstudio: 1.1.216 -> 1.1.351	2017-08-31 20:09:41 +02:00
gis	qgis: 2.18.10 -> 2.18.12	2017-08-29 21:56:53 +02:00
graphics	photoqt: 1.3 -> 1.5.1	2017-08-31 15:18:30 +01:00
inferno	pkgs: refactor needless quoting of homepage meta attribute (#27809)	2017-08-01 22:03:30 +02:00
kde	Merge branch 'master' into kdepim-17.08	2017-08-27 10:42:04 -05:00
misc	jrnl: support journal encryption by default	2017-09-02 11:03:49 +02:00
networking	Merge pull request #28863 from mguentner/pybitmessage	2017-09-02 08:36:18 +01:00
office	ledger: fixed with older boost	2017-08-31 11:51:10 +08:00
science	z3_opt: remove and replace with z3	2017-09-02 04:19:11 -05:00
search	recoll: 1.21.3 -> 1.23.1	2017-03-22 17:14:30 -05:00
taxes
version-management	gitlab: fix permission issue in build phase	2017-08-30 16:16:17 -04:00
video	mpvScripts.convert: fix for mpv >0.26.0	2017-08-31 01:23:11 +02:00
virtualization	docker: add libseccomp to build	2017-08-30 20:28:43 +02:00
window-managers	compiz: drop	2017-08-30 06:59:20 -04:00