[ubuntu/noble-proposed] gringo 5.6.2-0ubuntu1 (Accepted)

[Matthias Klose]

gringo (5.6.2-0ubuntu1) noble; urgency=medium

  [ Matthias Klose ]
  * New upstream version.
  * Fix build with Python 3.12. Closes: #1061316.
  * Fix build with new catch2 version. Closes: #1054688.
  * Fix build with GCC 13.
  * Explicitly mention the build system.

  [ Graham Inggs ]
  * Add (Build-)Depends: python3-cffi.
  * Reduce thread count for test_clingo_app.
  * Skip hanging test_clingo_app for now.

Date: Fri, 26 Jan 2024 11:05:00 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/gringo/5.6.2-0ubuntu1
-------------- next part --------------
Format: 1.8
Date: Fri, 26 Jan 2024 11:05:00 +0100
Source: gringo
Built-For-Profiles: noudeb
Architecture: source
Version: 5.6.2-0ubuntu1
Distribution: noble
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Closes: 1054688 1061316
Changes:
 gringo (5.6.2-0ubuntu1) noble; urgency=medium
 .
   [ Matthias Klose ]
   * New upstream version.
   * Fix build with Python 3.12. Closes: #1061316.
   * Fix build with new catch2 version. Closes: #1054688.
   * Fix build with GCC 13.
   * Explicitly mention the build system.
 .
   [ Graham Inggs ]
   * Add (Build-)Depends: python3-cffi.
   * Reduce thread count for test_clingo_app.
   * Skip hanging test_clingo_app for now.
Checksums-Sha1:
 70d0dc92b3d05c14d60a8127ec1fb1086d983756 2155 gringo_5.6.2-0ubuntu1.dsc
 5314748bbfb56b312abb2b7c5859191f7525632a 5079018 gringo_5.6.2.orig.tar.gz
 3269813d25d319b3fe73358fbd2168be0aabce12 21880 gringo_5.6.2-0ubuntu1.debian.tar.xz
 86969b3bb5dc8ffd1b1d42179a24a99dcd4177c7 13218 gringo_5.6.2-0ubuntu1_source.buildinfo
Checksums-Sha256:
 7e48dfa8e6855d6f963bb50966908830cf5321b3f8084a0b4b9b46f7f6bf3c7a 2155 gringo_5.6.2-0ubuntu1.dsc
 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be 5079018 gringo_5.6.2.orig.tar.gz
 cab640d14b1c47068a497b172f2fd7d335d4b5570b5bbf76572d09b02ba0051b 21880 gringo_5.6.2-0ubuntu1.debian.tar.xz
 a131ab175ac93dc18b3d182720e345a15be135fe28a864cde477b0b3fee5ae21 13218 gringo_5.6.2-0ubuntu1_source.buildinfo
Files:
 217d0ac269db9ab99a01d92f890b9132 2155 interpreters optional gringo_5.6.2-0ubuntu1.dsc
 1f3a4e4ae814f62fffbccb57f715d426 5079018 interpreters optional gringo_5.6.2.orig.tar.gz
 c370a22f2dbe5b7ca4245ee07eadccf3 21880 interpreters optional gringo_5.6.2-0ubuntu1.debian.tar.xz
 949cfe1e4d6701c8a9a271ee821d9a7d 13218 interpreters optional gringo_5.6.2-0ubuntu1_source.buildinfo