gringo 5.1.0-4 source package in Debian
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
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Stretch | release | main | interpreters |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gringo_5.1.0-4.dsc | 2.0 KiB | 93447246b63ff1595b91c49526d84add3734290d79147566c3408fadd92265ad |
| gringo_5.1.0.orig.tar.gz | 2.1 MiB | c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a |
| gringo_5.1.0-4.debian.tar.xz | 13.2 KiB | fa638cca967fe08fedcdae60165b980c9515325542fd5ac802290ffb5958f02c |
Available diffs
- diff from 4.5.4-4 to 5.1.0-4 (1.3 MiB)
- diff from 5.1.0-3 to 5.1.0-4 (1.0 KiB)
No changes file available.
