gringo 3.0.4-4 source package in Debian
Changelog
gringo (3.0.4-4) unstable; urgency=low
* Apply upstream patches from subversion r6200 and r6237 for fixing
potassco bugs 75 and 76, resp.
* debian/patches/gringo-cond.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
* debian/patches/gringo-unpool-pred.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
* debian/control: Bump Standards-Version to 3.9.4.
-- Thomas Krennwallner <email address hidden> Thu, 22 Nov 2012 10:40:56 +0100
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 |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| gringo_3.0.4-4.dsc | 2.0 KiB | 4183c9da89941c152668ca6f7dc7effba006fb07b79b8087bafbaaeaf30b3a95 |
| gringo_3.0.4.orig.tar.gz | 526.9 KiB | 493c6107a15f9b8dd9eccfef8ccbd9477d7d5aee1c8e6780957b165b8e2b45df |
| gringo_3.0.4-4.debian.tar.gz | 9.7 KiB | 67806a0ba0515311772c66abd0cb753aff0bdcca05028b371abd1d6db426de7d |
Available diffs
- diff from 3.0.4-3 to 3.0.4-4 (1.6 KiB)
No changes file available.
