gringo 5.2.1-2 source package in Debian
Changelog
gringo (5.2.1-2) unstable; urgency=medium * Use pkgkde-symbolshelper to manage C++ symbols * debian/rules: use pkgkde_symbolshelper dh addon * debian/control: Build-Depends on pkg-kde-tools * debian/symbols: use pkgkde-symbolshelper to create C++ symbols -- Thomas Krennwallner <email address hidden> Fri, 03 Nov 2017 06:42:20 +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.1-2.dsc | 2.0 KiB | 1ed34f4c86868a9457ef8b8b9be58069db05836217a228f29997df7ea8d07dd9 |
gringo_5.2.1.orig.tar.gz | 2.5 MiB | b486b0adbd0a2acdfe55856036039318844ccb1e3510f2796caf03c5ee455378 |
gringo_5.2.1-2.debian.tar.xz | 11.4 KiB | a629500d2908d03ee3c63f8adcddbe8e31d81dcfe3ea84e96030280a8a972edc |
Available diffs
- diff from 5.2.1-1 to 5.2.1-2 (3.5 KiB)
No changes file available.