[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20171023-1 created (now c8905e2)

[Hendrik Tews]

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

hendrik-guest pushed a change to annotated tag debian/20171023-1
in repository hol-light.

        at  c8905e2   (tag)
   tagging  1c4af310a9408011df6fcd3475d4f998e47d4196 (commit)
  replaces  debian/20170109-2
 tagged by  Hendrik Tews
        on  Sun Oct 29 21:57:35 2017 +0100

- Log -----------------------------------------------------------------
hol-light Debian release 20171023-1
-----BEGIN PGP SIGNATURE-----

iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAln2QL8RHGhlbmRyaWtA
YXNrcmEuZGUACgkQ7GhXfe3K7mgfkA//XyI3a0rD5Lt4DU23W/7qiFU15UFkx9ro
ITerpV8geKkS4xINHxCVswvLhnCy1F+Ppx2kKXG8qDTHPMxIEDbR08sp5OeoFwpk
XiP8+KmSKrlgvlu3J+CIAI43X04fyzWPzs0bbJ4UaKPqXaBuzBpHdSdODwZkqtOf
ROND9aArgujIeNTv/5v3SVz7qvqO9PBctM/THuXegdEJ0HhCvuMICG7XOaGon/22
ar29V5Oi/ufTBfqbMdl5s9TOhPL8V0oNgZrVK8aVpfyQwobyDOTtsWTNFWtgzBT1
nVOJw/RK6X95xBL3+Aqno4Vzf1SgSi03JyfrtaT9YnE5WQKkEIJcCll7XPe0WQFP
rqmmurMt39UGwwM1Eq8+AHc51FjWjUe0HKdLim/Khj//HPCddjYKqAMXwIJ44WUb
MTysp9FkwkZicKXR5tmPGthswDzkHDOwtEK0VwBzRpty7vex/gXqXc/8DaZE68OA
1eyS+L+BfkjlHtzqAtEqPzI6JGutKJaGh9pyq4KXUJXRiFCVY3d0DlUl/qKWLFjS
s4zbAXmlCOLmRVe7leJnQBWxDjErf4SA9YFBp1Wza3zSQ2i9gUqz7ojLkuDmeZLq
RZE6BP9m1Ti6/Hk+84dCe/R7MFS8RlHwvLvC/gOQSGRg1fbZVfRe4u6hXjcGCdVa
1XEulXvb/7A=
=Zazz
-----END PGP SIGNATURE-----

Hendrik Tews (6):
      New upstream version 20170917
      Merge tag 'upstream/20170917'
      new upstream version 20170917 and related changes
      New upstream version 20171023
      Merge tag 'upstream/20171023'
      finish packaging with using various upstream fixes

-----------------------------------------------------------------------

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git