[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, debian/20130511-1, created. debian/20130511-1

[Hendrik Tews]

The annotated tag, debian/20130511-1 has been created
        at  70bd2a9ce358cc54a33b603a55f994907328174f (tag)
   tagging  2fa332419db16e74ef0a8103be5dfec9b6e3d019 (commit)
  replaces  debian/20120602-1
 tagged by  Hendrik Tews
        on  Fri May 17 14:21:51 2013 +0200

- Shortlog ------------------------------------------------------------
Debian release 20130511-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCAAGBQJRliDfAAoJEOxoV33tyu5oh5AQAMG9Vmz+c98hRtTdyHUNeI6s
xJSL1LKLLUPWSGtT9DjgLjQ9vgXVj60VLxw4Wh6TcZrWaxhfkaLRwpkbF76eQxx7
g7Ta+bO8kYe7FDz3ucrX2LQGy9ro7ti7UCNrUcc2zpSOxfU8XpPFn8bf41IfPAaI
OjU8gNiMRTartpWMtVf5QlDF5xOUy3ipfbLesREP8tO7cmTjpdMzJ8Pj40ntZs+/
MggtnFlOl0SMc5wkOaUpIKFDB5aVv+LutLehMFwoLG9t4MP7yGWj05rAYyp2w1WD
07vFQdzRWnmHf5OaHz21bTm1J5JvV6l0gx0texPq7EFMMmCSJJP4oUYogYDCHcuM
fUDvA5ssJMXRBn17SzuHjFIhEzzZEMM2N+mmHOUPay8i0/HVeLLs1mvV9saKVsMA
ImTrLdCkFvWaECOni9WvGrmLRnuRf9TLPARkHLFNq/JMR2VTFNmUzSaPPzX4WKtM
RvvdkAB/uhzHPh2FxN9rnpDG1fW8aD/j69Jiv06KDTT9VThxPCPh5hbzudh8BRIp
mJG5yaBYMmdiKxtW13iXLIPUL/rkJn5I/St/Vz7LWfb14A6K03btcroFCG8QCnJD
ii9kSJ3lSzIFwc2v3Ah5I3jbcre8/S/ozbkrOidEz6k9bUDsbo7hLN3VVxd/Vtmz
F32i8wko9iwtbGhHV5GS
=80iY
-----END PGP SIGNATURE-----

Hendrik Tews (3):
      Imported Upstream version 20130511
      Merge tag 'upstream/20130511'
      several fixes and OCaml 4 compatibility

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

-- 
hol-light packaging