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

[Hendrik Tews]

The annotated tag, debian/20120530-1 has been created
        at  45cfcd52beb3d2be7b9bed5f3d75f83bb78c37d5 (tag)
   tagging  452b483ad50ec27ab0ed4602e8c2dfbee3a9d24a (commit)
  replaces  debian/20120423-1
 tagged by  Stephane Glondu
        on  Mon Jun 4 10:12:01 2012 +0200

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

iQIcBAABCgAGBQJPzG3SAAoJEHhT2k1JiBrTiRgP+wdp8QzR7+KoAcnX31V9URFp
6bjJ0xETcMq+Y0teAPXvIbxZUNeULDqyyOoKm5TKs0bFtOtGSNAB1JiXzmi2ov7T
W95LzwYS47zM4sVUKEqHjFrDU+thw1vpcrJSodYoqPqRLr5qwzbhGaXK3ReYQnPb
CNsXx+0kspQGHbnyWUmVNucmEtLMW1gOQUgWPyp2q47iOfpdPbp3iEzSLesuo5bn
4ymr9D3+ZPSwttyKSNUtWKjxg0AKFw7dap0aqQbw6g94RzzvdSwSyudATTJ213B7
g9ZFwbnYQim4x2cqcxBW/tRRjDlgZYNZ5TFbiGjtPO/Iqx3ZzbOflB7qrRGeyI4a
byQGHw6ZiRq7mXv0a6+y5vhBoxEt3+ac7HHoMobjGpIsmMnDmsRytc7kGBra4kJZ
EN/OTbHWcQymjoBS7g5lkvkjmCWDty3m45cnz04It58Ql5yLz436jXvexBjO5FrI
q/azh/9rtLO1ms8IxKiN2YjiHC07tPWd42pgFTn9pU8yabUZpEmo39qcy/9zuBSq
wSYQZnKnD8UYDDZkwH+NDZG7k0tuYgNrV3HUb459VCzIPd3/cIcGHIHyp4Pbilst
KjVmcAKVkSSO0uMGxf/70y5l0wL2N/bTkmwAIjYEi8FKv+3xT9H04u8E/JA4EYHS
DbCjQsAOjGInTlKrJ0KT
=+iwo
-----END PGP SIGNATURE-----

Hendrik Tews (7):
      unapply debian patches
      Imported Upstream version 20120530
      Merge commit 'upstream/20120530'
      reapply, adapt patches
      adapt debian/copyright
      don't override dh_gencontrol
      add patch holtest-dependency-hint

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

-- 
hol-light packaging