[ubuntu/lunar-proposed] gringo 5.4.1-3.1 (Accepted)

Tue Dec 27 04:06:50 UTC 2022

gringo (5.4.1-3.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build using the default gcc. (Closes: #1023682)
  * Add patch from Lukas Märdian to use the system catch/catch2.
    (Closes: #1017161)
  * Fix the testsuite for Python no longer supporting 'rU' in open().
  * Remove the symbols file. (Closes: #963054, #1015422)

Date: 2022-12-03 22:30:21.109521+00:00
Signed-By: Graham Inggs <graham.inggs+ubuntu at gmail.com>
https://launchpad.net/ubuntu/+source/gringo/5.4.1-3.1
-------------- next part --------------
Sorry, changesfile not available.