gringo 5.3.0-10 source package in Debian
Changelog
gringo (5.3.0-10) unstable; urgency=medium * Fix FTBFS on buster. * debian/control: add Build-Depends on g++-8 >= 8.2.0-21 * debian/symbols: add alpha and x32 symbols -- Thomas Krennwallner <email address hidden> Sat, 02 Mar 2019 08:49:10 +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 | |
---|---|---|---|---|
Buster | release | main | interpreters |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.3.0-10.dsc | 2.1 KiB | 2bb811f4467269a1300eb8d1562674f6a50be133b252be34cc3e7dcb00226007 |
gringo_5.3.0.orig.tar.gz | 2.6 MiB | b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 |
gringo_5.3.0-10.debian.tar.xz | 18.1 KiB | d99a193b28294456bcc8b0ed4c7a89af491d4222a7eb7d939d9a4ed4161e4cf4 |
Available diffs
- diff from 5.2.3-2ubuntu1 (in Ubuntu) to 5.3.0-10 (149.5 KiB)
No changes file available.