[ubuntu/eoan-proposed] gringo 5.3.0-10 (Accepted)

[Hans Joachim Desserud]

gringo (5.3.0-10) unstable; urgency=medium

  * Fix FTBFS on buster.
  * debian/control: add Build-Depends on g++-8 >= 8.2.0-21
  * debian/symbols: add alpha and x32 symbols

Date: 2019-03-02 16:31:32.929680+00:00
Signed-By: Simon Quigley <tsimonq2 at ubuntu.com>
https://launchpad.net/ubuntu/+source/gringo/5.3.0-10
-------------- next part --------------
Sorry, changesfile not available.