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
_______________________________________________
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
