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