gringo 5.4.1-3 source package in Debian
Changelog
gringo (5.4.1-3) unstable; urgency=medium * debian/symbols: fix symbols for g++-10 >= 10.2.1 * Bug fix: "non-standard gcc/g++ used for build (gcc-9)", thanks to Matthias Klose (Closes: #978514). -- Thomas Krennwallner <email address hidden> Mon, 28 Dec 2020 12:50:01 +0000
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 | |
---|---|---|---|---|
Bullseye | release | main | interpreters |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
gringo_5.4.1-3.dsc | 2.1 KiB | 7b5b4eea19e17441ebe9683fa03dc65d50f8a4dbb4c883d54cd4e153fdce87af |
gringo_5.4.1.orig.tar.gz | 2.7 MiB | ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 |
gringo_5.4.1-3.debian.tar.xz | 22.6 KiB | ac6de74b51b4275a7b9b0ddb4d1b9c510d5bb1da609f887fdf6187007e948e62 |
Available diffs
No changes file available.