gringo 5.1.0-5 source package in Debian
Changelog
gringo (5.1.0-5) unstable; urgency=medium
* Bug fix: "FTBFS: libgringo/src/python.cc:348:46: error:
'*(Gringo::{anonymous}::Object (*)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference))Gringo::{anonymous}::createId' is
not a valid template argument for type
'Gringo::{anonymous}::Object
(&)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference)'", thanks to Lucas Nussbaum
(Closes: #871100).
- debian/control: Build-Depends on g++-6
- debian/rules: set CONFIGPARMS to CXX='g++-6'
* debian/copyright: use https instead of http
* debian/control: Bump Standards-Version to 4.0.1
-- Thomas Krennwallner <email address hidden> Thu, 17 Aug 2017 07:18:37 +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_5.1.0-5.dsc | 2.0 KiB | ed957b4c83a121f3863ddaf0f405a453895f7676a595ae5df69943a1d3b229fc |
| gringo_5.1.0.orig.tar.gz | 2.1 MiB | c1afa83142d727d18bdab68fd6d7e1341dcb25d2e9a1aea3abc672ecbae6c72a |
| gringo_5.1.0-5.debian.tar.xz | 13.4 KiB | d82d4e5a6dfc36e6ae83cda2c7959b5ff3c722c7a79bb7a1b8e9ec60fb661f67 |
Available diffs
- diff from 5.1.0-4 to 5.1.0-5 (1.3 KiB)
No changes file available.
