gringo 5.3.0-4 source package in Debian
Changelog
gringo (5.3.0-4) unstable; urgency=medium
* debian/tests/gringo{0,1,3,4}: fix integer atom mappings
* NEWS.Debian: fix link to aspif description
-- Thomas Krennwallner <email address hidden> Thu, 22 Nov 2018 07:26:25 +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-4.dsc | 2.0 KiB | ac5f79a057568eb84edafdc68a347cb1401033f250afbabd820c9ec4000e4f3c |
| gringo_5.3.0.orig.tar.gz | 2.6 MiB | b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976 |
| gringo_5.3.0-4.debian.tar.xz | 17.7 KiB | e0b15c5fba3104cd9ded82f07cbe54b3ec1590137a72e7ea24c3775fa1bf0364 |
No changes file available.
