gringo 5.2.2-5 source package in Ubuntu
Changelog
gringo (5.2.2-5) unstable; urgency=medium * fix FTBFS with gringo-python3-utf8.patch * debian/rules: report ctest logs in case of error -- Thomas Krennwallner <email address hidden> Mon, 05 Feb 2018 07:39:21 +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 | |
|---|---|---|---|---|
| Bionic | release | universe | interpreters |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gringo_5.2.2-5.dsc | 2.0 KiB | 2f568cdb1dc209ebc15723860654c4ce0b105001c1507563c49015cd0716637f |
| gringo_5.2.2.orig.tar.gz | 2.5 MiB | da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf |
| gringo_5.2.2-5.debian.tar.xz | 13.6 KiB | aa72ac8ef54e94b98bf7560238b5114c0d60540e15f4f104458375c20ef7e4d8 |
Available diffs
- diff from 5.2.2-4 to 5.2.2-5 (1.1 KiB)
No changes file available.
Binary packages built by this source
- gringo: No summary available for gringo in ubuntu cosmic.
No description available for gringo in ubuntu cosmic.
- gringo-dbgsym: debug symbols for gringo
