[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