Debian
gringo package

gringo 5.4.1-3.1 source package in Debian

Changelog

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)

 -- Adrian Bunk <email address hidden>  Sat, 19 Nov 2022 12:33:48 +0200

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
interpreters
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bookworm release main interpreters

Builds

Downloads

File Size SHA-256 Checksum
gringo_5.4.1-3.1.dsc 2.1 KiB 0597322ea1414ee31e101d7b1a9617166519991a7ab11a06a34855ab77895a84
gringo_5.4.1.orig.tar.gz 2.7 MiB ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02
gringo_5.4.1-3.1.debian.tar.xz 21.1 KiB 3b40f14945cd7d7e614200da06c501372680c7b555032c6fe601f654f50d23e9

No changes file available.

Binary packages built by this source