gringo 5.2.3-4 source package in Debian
Changelog
gringo (5.2.3-4) unstable; urgency=medium * Bug fix: "Please update symbols for riscv64", thanks to Manuel A. Fernandez Montecelo (Closes: #912269). * debian/symbols: batchpatch symbols for g++-8 * Upload to unstable. -- Thomas Krennwallner <email address hidden> Wed, 07 Nov 2018 04:07:00 +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.2.3-4.dsc | 2.0 KiB | 6693b88769c91a967e0ce8c71a45f50a44c0664afe469faea23be48e36ebf260 |
gringo_5.2.3.orig.tar.gz | 2.5 MiB | 7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90 |
gringo_5.2.3-4.debian.tar.xz | 17.1 KiB | 63e61bd4a3f94c7909a850a4405312a3dff4cc8abf4afe6d70350168a6fe6cc4 |
No changes file available.