[Pkg-ocaml-maint-commits] [SCM] hol-light packaging annotated tag, debian/20130511-1, created. debian/20130511-1
Hendrik Tews
hendrik at askra.de
Fri May 17 12:23:42 UTC 2013
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
More information about the Pkg-ocaml-maint-commits
mailing list