[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.4pl2dfsg-2, created. debian/8.4pl2dfsg-2

[Stephane Glondu]

The annotated tag, debian/8.4pl2dfsg-2 has been created
        at  aaa555d4087a8657ba8b23260398ecf312b824ac (tag)
   tagging  505d907f147c3dfed60d017a634729661e43cea2 (commit)
  replaces  debian/8.4pl2dfsg-1
 tagged by  Stephane Glondu
        on  Fri Jul 26 15:01:17 2013 +0200

- Shortlog ------------------------------------------------------------
coq Debian release 8.4pl2dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJR8nMdAAoJEHhT2k1JiBrTY1gP+QHoEj2vx7AEAzkzsELJfdhF
2uMrtLrwC9unfntxP/lXI7oAeQWBRgfJJue5w7xZeJdijF8gvx5oie1xtY2P/2eL
a+V5lCKymtkJzKKQYFIHepVs8CWCFIq+jGSYFGcsMyj50ZjpGwsdHvvogbLum7wf
S35jXDdWz2bk+u8QnK6zJ5Wpwsbl2DGiBaE3Xcdw+VHum0HXapEpW6wFUa0gHduB
lXycahB0k0Vop6mecwMRUU1IvEx9zYo5H/Xc7+KYAPpVUNOWYnfTpjcynQJe1YnG
kyPxCrqsm6MT+pxcJYr2FM6SpL1XoMMH31bBfw4lnsvgAZlN6QWlvqm+LQG3dkaq
rpR2m23y0Jeh4agsaDx6QZ6e5+oQlwhrXFIUM55WYFnMr51P5xADz3mdMuY0seZI
aHY/FrXnGSSDrknSB1eBz1n0z3RTbZwoy3SvyQtLnnfJw+BOLqYM6cufthCOsCY1
rXMhSBNAmyf8SE3qs7X0KyBHzscjCts706fHeCRE10qKEOtMsydrQtIw/EVeob09
uf2xw/ZripnUutXczMISZgnmtiv83kGM+mGEUsKj4poSBO8TnyWIGX2e3xudapK0
X96hK04+Db5CEkvbvcR/fJP+Wkj1OXuZ1RVNXfCCy2h8HfCLwh39Uo/1FSdqBSia
cJZQ2yphVrYAsRPnf7QC
=PtWl
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Compile with OCaml >= 4
      Update Vcs-*
      Update changelog and prepare upload to experimental

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

-- 
coq packaging