[Pkg-ocaml-maint-commits] [SCM] prooftree packaging annotated tag, debian/0.12-1, created. debian/0.12-1

[Hendrik Tews]

The annotated tag, debian/0.12-1 has been created
        at  15268ad370b3f44b3c55edc65f19b508ed7df3ef (tag)
   tagging  25fcb0fd34f818d28a803b8a1f75e71f9165df0b (commit)
  replaces  upstream/0.12
 tagged by  Hendrik Tews
        on  Fri May 17 17:24:50 2013 +0200

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

iQIcBAABCAAGBQJRlkvCAAoJEOxoV33tyu5onh0P/3UhMy3VXflYOHGw/zbU3+4T
aWfpuDT58rAlkgy12qxdIYVwgEwAaDom1sRvt1upkwg8AUBg6oWzTxoPyQMpy25d
G82Tn3wbMngPRWLXbaC4UicL6Y3QNfs3BrNX2GEOmaimZUTJP0DJwMVRPH0CrCOo
6hHeR1ul0jPWlmtP4QS8LF8gECtV1e0M8SuAHI86hNLN6JpYUwRqIkXEdH+k8z7w
sJ4SdcPLffp+33+lLPpdXo5Xp9oRKEUpk6FnLYSHEkJLEZNWR/yRtASuz65qo4JL
AsZEwlVO6tNeIiehj3pmkxMCqpxHi4ynjHMwR8bFJ6l6wrv++6ctsGlRSO995p3l
oH40t2IuM1M3SaJ0q+2ufNLCLiNr4Dyi9ndXdSECCqyXwcKPDp8KbX2sNWOisaV8
5BkKFEB5yB+JTTOAsF309dwQm01aAa2cmKzG/uyiPMsoEko2AE+LxFZfrOEAleEG
naIOXKjm0Ou3NeQ0O3BR1bcmYHvaP+kxHc1iYzl6xB5sD6DD+kJxdNHPau/CCSnM
lPzwyGItuqgcH7+x/tx0frLkIeWxFkEY9iFm1tvyR8mxsQnMuef5m4ft6iJXSXXa
Ye6EME65BJpokI0hFJH1ArnHMMmJe/DPEb5NvA1WesZbNJyv1w0jun8cZlJYzol+
c46TufH29J7qMu6BKIuH
=r/1Y
-----END PGP SIGNATURE-----

Hendrik Tews (5):
      initial packaging
      README.Debian
      dh_gencontrol override & section
      Merge tag 'upstream/0.12'
      refresh packaging and dependencies

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

-- 
prooftree packaging