Format: 1.8
Date: Tue, 20 Dec 2016 05:10:36 +0100
Source: gringo
Binary: gringo
Architecture: arm64
Version: 5.1.0-4
Distribution: zesty-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-020.buildd>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Changes:
 gringo (5.1.0-4) unstable; urgency=medium
 .
   * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
     _FPU_GETCW and friends are undefined on this arch
Checksums-Sha1:
 00e89d827943c00a06dd90e20539706afeed95d6 24803930 gringo-dbgsym_5.1.0-4_arm64.ddeb
 be7ae67fc72253001b1ac8afd270676609dae0fb 2253522 gringo_5.1.0-4_arm64.deb
Checksums-Sha256:
 5363212c7a4a28cb6acbf782869c7db988f815a031a34a8b8f443fc5dbb1212b 24803930 gringo-dbgsym_5.1.0-4_arm64.ddeb
 402b719c7f40c20e7bb5dfc8e7760f09c32d4239096e994179b8edf1d00d1246 2253522 gringo_5.1.0-4_arm64.deb
Files:
 b2a92065ae6b284f01b383ecb7d53f02 24803930 interpreters extra gringo-dbgsym_5.1.0-4_arm64.ddeb
 cce8a80da7fe2e6b4b6bcfce01fca15b 2253522 interpreters extra gringo_5.1.0-4_arm64.deb