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

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

        at  2017bc9   (tag)
   tagging  db54cd89ee1b59337e9583b6a327a8d94bae2abc (commit)
  replaces  debian/20131026-1
 tagged by  Hendrik Tews
        on  Thu Jan 12 09:10:17 2017 +0100

- Log -----------------------------------------------------------------
hol-light Debian release 20170109-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJYdznpAAoJEOxoV33tyu5oztUQAIn98IiaMpsQIFvFfYUBSG3K
Q8ViHODm19RGtotGnDfYTxnfHuv5sPZX8UvWi1ifzURzQ9F/R6u3GGDyXBcxrbDY
Xitzlo999hX+1QmoOSv5biroAq0v0PWbwx6vM/J0DKJkz8F96ELRZcupPVVLDNTC
UXkEwMbllQCU2jBMge4We0hEfHAKzjpwkFeVeOhvE7nTGyE6DlNPu5VHK2d0ARHf
BNTtAh/iCVlJkXNVozWX7lzJwHO4F80ektvsRWUJBsX6JXlXUu1n1rJLhh+97jDJ
YjOWiPFLWISG0oVWbdtbYMJs3p9zJSOCjWdAclWAF9BZtjMuKWkX3fBZVlnfgMuh
IOkJEn7TPOJdxsVHXcc3Rrl9/FT3QmiNd2Mvse5ZfyFHK4NT2tuJkPr+J2gKMPds
NI9yc6bfuRj1l+oNFQMQjLkh93wqI2J1bjjHYf6kYFVPOE0CBFHDWp6Mu9kQQXjj
GzubQ6bMNk3ZM5F7nmd3/yQS0P40g0avAZ4MQQQFYUzwEdD1+vzuLewvEbGxB+we
2W2ipl14g8X2aDBMHCa8zbAgdf44K2VGK9utOkwe9u/hbfwqUTX1GUxJ+f9ywhlx
ps8Jg5DrJfhjqWvOZmXTA9Q8/ZZ48xL9MPf0BB086I0gFbCDcJnfkc7EbZByjF8k
r4QPZblLP6+5JXH3FbyZ
=VhLs
-----END PGP SIGNATURE-----

Hendrik Tews (3):
      Imported Upstream version 20170109
      Merge tag 'upstream/20170109'
      update packaging for new upstream version

Mehdi Dogguy (1):
      Update watch file

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

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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to