[gringo] annotated tag debian/5.2.1-1 created (now 197266e)

Thomas Krennwallner tkren-guest at moszumanska.debian.org
Wed Nov 1 16:16:12 UTC 2017


This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a change to annotated tag debian/5.2.1-1
in repository gringo.

        at  197266e   (tag)
   tagging  ffea893194051449531d1aa40f83ae4a1ee3e389 (commit)
  replaces  debian/5.1.0-5
 tagged by  Thomas Krennwallner
        on  Wed Nov 1 16:49:12 2017 +0100

- Log -----------------------------------------------------------------
gringo Debian release 5.2.1-1
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln57PgACgkQJ5ffdKZm
mql/2g//QIh4XNFZMGFY5YthitTmCrHgqiRQJLoKUMiZiJe6KlQ+2cRc4PJyfM+z
t0yg9u3DdrfmTMmk3gJ1hC9V6C8VZ4B0jbXoCfgoL7mxLqCMBOL2YdyQGD+TuUhZ
XntHbRGU+p0zTyoIhLatLnHMTsqObalOMUVfHbCW3G47HOVhIfQcV8dXS6GCqGNu
3RhsqDUSzmRSGIRLDHtxEllgwcXLLagvsbPRMf0xCC1rUQbN0baIFxnHO1zjWQgR
g33jh5Z6bsd8UkV1WijNqcRZ0I7rljE0Zm7NyIPf0/Xd7+jIb8oZxD+5USF+NAXn
dOP5ep3krUFcnuUqi+a/zn3sXT3HBOzwQkb7TFeLEjjJSrIi4Y2Grj1Ut7AkcEbV
9kUZHML4XiH8GiUnhvNF52+tRALiqUkqk1Rg8V9TLXrH6wwqkL5YcwDTUhEcMXca
m2XTuEIaajddDCet8zYlZoJvrsYK0VNTmpG5QIGnEFRvNmsm5jO7Clk3M2RX2kdY
cS/ogEqEK4V/vyQROGL1ImjUDttm/uobZ5BnetDoyX7uPBQn9xax70k9+5983XBW
E0fnpHg43P7i/buen/2oR0GiM3TsGgtN+Mfb/QjvaQO27QHxtmdI4x3NeU5DDfOo
Gz9nDgfvABdbF59LD9iwJS2AV5MuI8TTIqZKLqtck2uusnGh6Mo=
=qDqv
-----END PGP SIGNATURE-----

Thomas Krennwallner (12):
      New upstream version 5.2.1
      Updated version 5.2.1 from 'upstream/5.2.1'
      debian/TODO.Debian: list todo items
      debian/copyright: gringo switched to MIT, and so does the packaging
      debian/compat: bump debhelper compat level to 10
      debian/control: use cmake instead of scons
      debian/patches: drop various upstream applied patches
      debian/install: add libclingo library
      debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0
      debian/symbols: add libclingo.so.1 symbols
      debian/rules: use cmake without rpath and force g++-7
      gringo 5.2.1-1 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