Publishing details

• Removed from disk on 2018-06-22.
• Removal requested on 2017-08-18.
• Superseded on 2017-08-17 by gringo - 5.1.0-5
• Published on 2017-04-20
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

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

 -- Thomas Krennwallner <email address hidden>  Tue, 20 Dec 2016 05:10:36 +0100

Builds

Package files

• gringo-dbgsym_5.1.0-4_amd64.ddeb (24.1 MiB)
• gringo-dbgsym_5.1.0-4_arm64.ddeb (23.7 MiB)
• gringo-dbgsym_5.1.0-4_armhf.ddeb (23.7 MiB)
• gringo-dbgsym_5.1.0-4_i386.ddeb (23.3 MiB)
• gringo-dbgsym_5.1.0-4_ppc64el.ddeb (24.0 MiB)
• gringo-dbgsym_5.1.0-4_s390x.ddeb (23.0 MiB)
• gringo_5.1.0-4.debian.tar.xz (13.2 KiB)
• gringo_5.1.0-4.dsc (2.0 KiB)
• gringo_5.1.0-4_amd64.deb (2.3 MiB)
• gringo_5.1.0-4_arm64.deb (2.1 MiB)
• gringo_5.1.0-4_armhf.deb (2.0 MiB)
• gringo_5.1.0-4_i386.deb (2.4 MiB)
• gringo_5.1.0-4_ppc64el.deb (2.2 MiB)
• gringo_5.1.0-4_s390x.deb (2.1 MiB)
• gringo_5.1.0.orig.tar.gz (2.1 MiB)