[Pkg-ocaml-maint-commits] [hol-light] annotated tag debian/20170109-1 created (now 2017bc9)
Hendrik Tews
hendrik-guest at moszumanska.debian.org
Thu Jan 12 08:12:58 UTC 2017
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
More information about the Pkg-ocaml-maint-commits
mailing list