Accepted gringo 4.2.1-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 16 Dec 2013 16:28:42 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Changes:
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.
Checksums-Sha1:
bb5688108b5f4e44a7a7958cb1ff2ab592f37153 2092 gringo_4.2.1-1.dsc
e27790e7d27c54ebb993d97debc01df5c2a4ddd6 615728 gringo_4.2.1.orig.tar.gz
3ad857008f0f4ebb1a7bde8732b996ffaa9d4f0d 8602 gringo_4.2.1-1.debian.tar.gz
e53f7dc8c4cdd65fafc69cfb9f16e589c67ff608 909244 gringo_4.2.1-1_amd64.deb
Checksums-Sha256:
4c3f6545f0ccb1393618a8330353c2d244511390dcad019b7068b2a0b08ab6ca 2092 gringo_4.2.1-1.dsc
24da7958ca6c4f41a3df43ca786059926057289d5f01bfd22e6d9483977c0581 615728 gringo_4.2.1.orig.tar.gz
a5f33c873f2823589b1288e1363179ec2637914d203f92d90a959de111d8a4ee 8602 gringo_4.2.1-1.debian.tar.gz
a439c94d00545f4044dbc46a8af4346471de34bcd2c0714167422bf18fcb2496 909244 gringo_4.2.1-1_amd64.deb
Files:
ec97c4ab95def45325edb3051a320bdc 2092 interpreters extra gringo_4.2.1-1.dsc
0ce73ba2a9e0ca206272274e3eb53d95 615728 interpreters extra gringo_4.2.1.orig.tar.gz
7335651f6b53d069e6f1c1e9599a3ee8 8602 interpreters extra gringo_4.2.1-1.debian.tar.gz
2c17a6c15c3b939efd52a67d3fdfb35b 909244 interpreters extra gringo_4.2.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJSrzd0AAoJECeX33SmZpqpvVMQAIPMVCD4jzSOD0igPQozdchm
GOG4FRTlkcfHdg/yTg6XvalunWwnNzLscqbkAb03Y+cJvYYVo10hnV5UWyukYfPS
F30ZPU8GYnYa8RKOUrG3TyD9FAquP90GpT9mXs/VYEdEu+D6nWotoHCxi4UWPJKw
HWvk3CIGOJyLh/WtiTaXS44go0BBNXUJoh3uJ+lVy4/ZYwrSnK0UNpTJXyvzX5yY
PJx/Wtr5waE4ljNRwYO5MXrRBFCTmpuASgVypllv5nuvqVE3WW1g4VNtzDiQp2fC
eKAuqP4veSyyH3kFwZPaTh9HfdfbBIQGTBRcb7zeYOJEDKY4I25kgwxLku7pRDgn
3m7rFO8w60nyJ4j7IGtkZ/f4hfUlEzFpTmA2HQsF2fE7kmpBHLI5Oe/7Gb49i3uW
wjTFnJJWzMzpP8ETWBs4fWhlzuWLL07lfImqTw7dMHhwDRPaXHVHW+AXEqBTcfOF
fsDiXrTvDk0tZnHXCsYSQfp0cW0KvWAbuM9Gd0gNgf830KMmhZJicotAkgoJYS/O
5OJi9KKIu7IIrxCdzA1SN8rYqIeRGyrRXmvbQmRR8yST1nqkvM41wdg0yInUcNMh
vbuGl49WpC1KIvFmMAZJ1z4Y8SgQb3ZDyii+BPBuMMQ5ujojFpkCy8NpLtvxhLd0
dFO4nRiykgXvf8iZ/F8d
=ryw1
-----END PGP SIGNATURE-----