This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/20170109-2 in repository hol-light.
at 808638d (tag) tagging e4242ac0a2f43c825cf9e3128de9faffd3051726 (commit) replaces debian/20170109-1 tagged by Hendrik Tews on Wed Aug 2 23:14:09 2017 +0200 - Log ----------------------------------------------------------------- hol-light Debian release 20170109-2 -----BEGIN PGP SIGNATURE----- iQJFBAABCgAvFiEEd+jPoq9S7zZIRjvN7GhXfe3K7mgFAlmCQKERHGhlbmRyaWtA YXNrcmEuZGUACgkQ7GhXfe3K7miv2w/+NQ9kdpoSpgVBYIeLmiZli5aPx3KHWfSD 9OZo0Z3n2wmF679KQu6PmlBd9I3MyBYesKEaSHUySrpub6US4Bogl4hkF0QAfi3O ry7rv5BDzc5vdbuPH8taDrAHD3WIVoRuW6rMOpcU/vlP6RbUgfNxNpb9nG6Kcwy5 W6egse+TTeuIYhQr0NDJyHzWLBRa6FAckpJVaQmM/+pf+QbjSelBn2BHumZq04re s8kkNa6YiVnYYg0NwdwGJ7gsQgIbti6dgkv3ECYTyAFI2ECmScOOcy7Sdm/Q2DoT faSEVj+ElPeMyeCVcqpF7S/GmJQACWGm6dJJv4chiwe3xuQpwOOJ8+L5JPTqWHiw esq+8TWeX2+eIKUrU4L54fawsqkZGq5oMIzmKSigb4gZmvHN2QtiQ35t33YpjsZt RzxbO0LDoOKZEnuf5PPVZcBUXXbr0F210ybiaC3ygvZ++5LSaEbwx8ApG411W0/c HpG+ygNPhy4e68bxfb3tsl/7NiD2EdvJgrZkCBxIbAMqSSMVzVuE7Qlel2pgtiIv OydQoO0nuJVBhXZStsTHozkTk/Sfc7LbB1KLXhu2pxOjtG2tCiXjRSqkdszDvDZg 83iLSPvPJrqJLBT8LGEvptCbgCaC6CZgwqHY+4jucjFrtmr6/zc4FzvW+ocV+xeG qAlmP/9Jx6g= =fZKi -----END PGP SIGNATURE----- Hendrik Tews (1): quick fix for building with camlp5 7.01 ----------------------------------------------------------------------- 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