gringo 4.5.4-4 source package in Ubuntu
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 |
|---|
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.
Binary packages built by this source
- gringo: No summary available for gringo in ubuntu zesty.
No description available for gringo in ubuntu zesty.
- gringo-dbgsym: No summary available for gringo-dbgsym in ubuntu zesty.
No description available for gringo-dbgsym in ubuntu zesty.
