gringo 4.5.4-3 source package in Debian
Changelog
gringo (4.5.4-3) unstable; urgency=medium
* Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
that have WITH_THREAD=0, i.e., all architectures except amd64 and
ppc64.
-- Thomas Krennwallner <email address hidden> Mon, 02 May 2016 07:18:34 +0200
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-3.dsc | 2.0 KiB | db4c1ad89a74db3de4e55bc5846b7a7a9b47ecea132596fdb847e1fa6b7e38df |
| gringo_4.5.4.orig.tar.gz | 1.6 MiB | 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a |
| gringo_4.5.4-3.debian.tar.xz | 10.3 KiB | 00c7d229ceff71926445fc3973ce3a36d61ba64f93729727611b388b2aa9ed7b |
Available diffs
- diff from 4.5.4-1 to 4.5.4-3 (5.3 KiB)
- diff from 4.5.4-2 to 4.5.4-3 (1.0 KiB)
No changes file available.
