gringo 5.3.0-6 source package in Debian
Changelog
gringo (5.3.0-6) unstable; urgency=medium * debian/symbols: fix symbols for g++-8 >= 8.2.0-10 * Upload to unstable. -- Thomas Krennwallner <email address hidden> Fri, 14 Dec 2018 08:09:08 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.3.0-6.dsc | 2.0 KiB | 2c4f83863981dee2a8bf010406ca469799e18f321da64ff39a5249c9c9748dd9 |
gringo_5.3.0.orig.tar.gz | 2.6 MiB | b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 |
gringo_5.3.0-6.debian.tar.xz | 17.8 KiB | 74dc47fb24ffeb2b45a51d33d00e66b120c1e770f89accf6152eb550c9a87153 |
No changes file available.