[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