Austin Seipp 063e4dca79 z3: update to latest git ...

This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>

2017-11-09 13:20:01 -06:00

..

altcoins

bitcoin-abc: 0.15.0 -> 0.16.0

2017-11-06 10:48:09 +01:00

audio

lmms: 1.1.90 -> 1.2.0-rc4, Qt5, optional lame, libsoundio, portaudio

2017-11-07 14:48:20 +00:00

backup

deja-dup: 36.1 -> 36.3

2017-10-22 00:03:41 +02:00

display-managers

lightdm: 1.22.0 -> 1.24.0

2017-10-29 15:54:18 -04:00

editors

Merge pull request #30549 from obsidiansystems/bintools

2017-11-08 14:20:48 -05:00

gis

Merge pull request #30471 from thall/qgis_2_18_13

2017-10-16 18:29:09 +02:00

graphics

feh: 2.22 -> 2.22.2

2017-11-09 12:52:00 +02:00

inferno

…

kde

Merge branch 'master' into qt-5-tmp

2017-11-07 07:33:47 -06:00

misc

tint2: 15.2 -> 15.3

2017-11-09 15:52:15 -02:00

networking

Merge pull request #31438 from orivej/qbittorrent

2017-11-09 13:44:26 +00:00

office

paperwork-backend: Move into its own file

2017-11-09 19:34:43 +01:00

science

z3: update to latest git

2017-11-09 13:20:01 -06:00

search

…

taxes

Revert "Merge pull request #28557 from obsidiansystems/binutils-wrapper"

2017-09-07 12:51:21 +02:00

version-management

Merge pull request #31365 from andir/fix-cvs-CVE-2017-12836

2017-11-07 17:12:15 +00:00

video

mkvtoolnix: 16.0.0 -> 17.0.0

2017-11-05 20:55:06 +01:00

virtualization

virtualbox: fixup build with glibc-2.26

2017-11-08 10:00:32 +01:00

window-managers

sway: 0.14.0 -> 0.15.0

2017-11-07 23:16:50 +02:00