gringo 4.2.1-1 source package in Debian
Changelog
gringo (4.2.1-1) unstable; urgency=low
gringo 4.2 adds support for {i,o,}clingo again.
* New upstream release.
* debian/watch: Back to watching all releases of gringo.
* debian/rules: Add scons, python, tbb, and hardening support.
* debian/install: Install gringo and clingo.
* debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo.
* debian/gringo.manpages: Remove iclingo manpage.
* debian/control: Build-Depends on bison, scons, g++ >= 4.8.0,
libpython2.7-dev, libtbb-dev.
Bump Standards-Version to 3.9.5.
-- Thomas Krennwallner <email address hidden> Mon, 16 Dec 2013 16:28:42 +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_4.2.1-1.dsc | 2.0 KiB | 4c3f6545f0ccb1393618a8330353c2d244511390dcad019b7068b2a0b08ab6ca |
| gringo_4.2.1.orig.tar.gz | 601.3 KiB | 24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581 |
| gringo_4.2.1-1.debian.tar.gz | 8.4 KiB | a5f33c873f2823589b1288e1363179ec2637914d203f92d90a959de111d8a4ee |
Available diffs
No changes file available.
