gringo 5.2.3-2 source package in Debian
Changelog
gringo (5.2.3-2) unstable; urgency=medium * debian/symbols: batchpatch symbols -- Thomas Krennwallner <email address hidden> Tue, 03 Jul 2018 06:23:44 +0200
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-2.dsc | 2.0 KiB | 5886ec0ac7d87e5cd651ede9ec5dab1abe6f4f9f2cf976271829ff023d82995c |
gringo_5.2.3.orig.tar.gz | 2.5 MiB | 7b582b4a774a83bb50e3a5ef1edef9617c85118e4ba13f25620044c444ef5e90 |
gringo_5.2.3-2.debian.tar.xz | 14.5 KiB | 993c92678a7ba5f89ae632b43e7782954a9a36a9e10faf1321f564d95fd1d34e |
Available diffs
- diff from 5.2.3-1 to 5.2.3-2 (2.0 KiB)
No changes file available.