gringo 3.0.4-3 source package in Debian
Changelog
gringo (3.0.4-3) unstable; urgency=low
* Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).
-- Thomas Krennwallner <email address hidden> Wed, 23 May 2012 15:25:09 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- interpreters
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Wheezy | release | main | interpreters |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gringo_3.0.4-3.dsc | 2.0 KiB | 9c82cdb06733857175953a38fca4f9210b6d783172fea6c2e0d36515f922729e |
| gringo_3.0.4.orig.tar.gz | 526.9 KiB | 493c6107a15f9b8dd9eccfef8ccbd9477d7d5aee1c8e6780957b165b8e2b45df |
| gringo_3.0.4-3.debian.tar.gz | 8.9 KiB | 868f949435ff19feb00a3d31098256fdc1aceb7caec360a00b655910dbfccce9 |
Available diffs
- diff from 3.0.4-2 to 3.0.4-3 (567 bytes)
No changes file available.
