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
