gringo 4.5.4-4 source package in Debian
Changelog
gringo (4.5.4-4) unstable; urgency=medium * Bug fix: "please make the build reproducible", thanks to Reiner Herrmann (Closes: #844096). -- Thomas Krennwallner <email address hidden> Wed, 07 Dec 2016 08:27: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_4.5.4-4.dsc | 2.0 KiB | f9991b514990b3308d375335efc0126e2a2b62bcee6b183c7de24ce21c2c07eb |
gringo_4.5.4.orig.tar.gz | 1.6 MiB | 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a |
gringo_4.5.4-4.debian.tar.xz | 11.1 KiB | 509cb3c4559086611c208dd21043ca7034089a263ec87c46f05b2ec70a10c55a |
Available diffs
- diff from 4.5.4-3 to 4.5.4-4 (5.4 KiB)
No changes file available.