[gringo] annotated tag debian/5.1.0-1 created (now 65cd897)
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Sun Dec 11 21:07:10 UTC 2016
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a change to annotated tag debian/5.1.0-1
in repository gringo.
at 65cd897 (tag)
tagging 5e6c12fd4afc78eadb3be1b90eeeb321076b26dc (commit)
replaces debian/4.5.4-4
tagged by Thomas Krennwallner
on Sun Dec 11 21:57:46 2016 +0100
- Log -----------------------------------------------------------------
gringo Debian release 5.1.0-1
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhNvcoACgkQJ5ffdKZm
mqmv/Q/8CcwVYAxvV3I/O5fic+T89JEru+58un8HAKq5Um8yhL81AkM4QI5i+LSl
MuwZcr1d3mHNb7uUJ+Y/BUQeleSVit+s/ns3BFVQi9BquhE/hJqvVoDvZwpgwHt2
AMbIDNlWHqFoZdVcYiLjai7B94dtM/cgDznqPfA9ILmuOpNYcM0TFgUOswrKWmLO
RwV9dqWxb83cTI1nJbSLgJfFvLzCgw87bXDDUDaazgcs6/QfESLnoIpjSptm0Dbn
MSr9tfUYvItV4ngdTG/3r8wRDtW1E4QUiOSOd5U24D1MW2U4md8Z+wzzxP7FkJia
/uTU+jxViebz1Knwy8mCm+FhW9QB9Py1/FXmNf10w2Oqrz10NS4QwsPAvnqldlDJ
BUQ7atqjh33vTk6az+kfBjH8ZxZ56loOkjVd2NADOOxTSbb/6nJ8aCQExlFnSnYl
NyA6HSkwY7hb3fDs7/GYUgN0W6S3QZ4BRyR3w7Uiwoef4e87LOOzLIvST+uM/Bl9
gp1KG9kvImJ5s+4XjutuY+Hjbp06PmGG7TKnO22JRbLWdAjybtNh+0mjBSA2+q2Q
LvaQDQJTbBR0GGllkpPdOC7vMgykVjHYdvyag49SeyG4nMpLDF3zkNQSeQr45GWo
kkLaXhotd2/lbK2ghOu2Fy8n5XYeSeCb0nMSNpTZntZX/ew41QU=
=wJ59
-----END PGP SIGNATURE-----
Thomas Krennwallner (21):
watch gringo releases on github
New upstream version 5.1.0
Merge tag 'upstream/5.1.0'
debian/copyright: update copyright year and github source
debian/control: Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
debian/control: point Homepage to https://www.potassco.org
debian/control: use https for Vcs-*
debian/rules: build lpconvert
install lpconvert
debian/rules: drop libtbb-dev and use c++11 multi-threading
debian/control: update description and add lpconvert
drop already applied upstream patches
reproducible-build.patch: quilt refresh for gringo 5.1
gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
gringo-manpages.patch: update for gringo series 5
debian/control: add Breaks clasp (<< 3.2.1-1)
NEWS.Debian: describe aspif output format change
debian/docs: use README.md
Ignore quilt dir
debian/gringo.manpages: add lpconvert.1
Update changelog
-----------------------------------------------------------------------
No new revisions were added by this update.
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list