Format: 1.8
Date: Thu, 18 Jun 2020 13:36:08 +0200
Source: gringo
Binary: gringo
Architecture: armhf
Version: 5.4.0-2ubuntu1
Distribution: groovy-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-080.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (5.4.0-2ubuntu1) groovy; urgency=medium
 .
   * Mark two more symbols as optional when building with -march=z13 on s390x.
Checksums-Sha1:
 742b3707ea922f7828d95032e03b2b65e02bb02b 28120112 gringo-dbgsym_5.4.0-2ubuntu1_armhf.ddeb
 e927d65376204472b797c41f77f85b5c37962dce 10057 gringo_5.4.0-2ubuntu1_armhf.buildinfo
 4752a49c814181fa222de1a9076253eb7ec55691 1627428 gringo_5.4.0-2ubuntu1_armhf.deb
Checksums-Sha256:
 f3c140efa2fbff118357a4738300564c17ae539bef661e232842e9eddafbb574 28120112 gringo-dbgsym_5.4.0-2ubuntu1_armhf.ddeb
 30c55fbf563cf51db516aaf6eec43ef8dfc9384f5f6aeaa5e15d2f841128ef98 10057 gringo_5.4.0-2ubuntu1_armhf.buildinfo
 aec7427610c5349f33c382a8a972f6f93b192b36d2cfc2e9a1cf0f5b99f03e6a 1627428 gringo_5.4.0-2ubuntu1_armhf.deb
Files:
 f482bc577bd45f4eef38bcb4c81d64f9 28120112 debug optional gringo-dbgsym_5.4.0-2ubuntu1_armhf.ddeb
 dfc8504e9da55253b5b89a6e6aa8aeab 10057 interpreters optional gringo_5.4.0-2ubuntu1_armhf.buildinfo
 e92df4a305fcde1ae0cc39822529b08b 1627428 interpreters optional gringo_5.4.0-2ubuntu1_armhf.deb