[ubuntu/eoan-proposed] z3 4.8.4-1 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Wed Sep 4 20:18:40 UTC 2019
z3 (4.8.4-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* Team upload.
* Honour nocheck option to not run testsuite
[ Fabian Wolff ]
* New upstream release (Closes: #909494).
* Add debian/gbp.conf.
* Update and reorganize patches.
* Upgrade to debhelper compat level 12.
* Upgrade to Standards-Version 4.4.0 (no changes).
* Remove trailing whitespace from debian/control.
* Build-Depend on libnum-ocaml-dev (Closes: #934048).
Date: 2019-09-04 17:01:07.694178+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/z3/4.8.4-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the Eoan-changes
mailing list