gringo 5.2.2-1 source package in Debian
Changelog
gringo (5.2.2-1) unstable; urgency=medium
* New upstream version 5.2.2
* drop upstream applied gringo-remove-wrong-assertion.patch
* debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols
pkgkde-symbolshelper batchpatch -v 1
-- Thomas Krennwallner <email address hidden> Fri, 10 Nov 2017 08:08:58 +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.2-1.dsc | 2.0 KiB | 9b36b80f30d4958c06bd0c1cc7e631aeaff7dbb6f558237663e6df710184b592 |
| gringo_5.2.2.orig.tar.gz | 2.5 MiB | da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf |
| gringo_5.2.2-1.debian.tar.xz | 12.1 KiB | 3066a2d4612e86fed47d14be7c75e8134607de5f710e9ca39f569c332463e8cf |
Available diffs
- diff from 5.1.0-5 to 5.2.2-1 (1.8 MiB)
- diff from 5.2.1-4 to 5.2.2-1 (49.4 KiB)
No changes file available.
