[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.2.pl1+dfsg-6, created. debian/8.2.pl1+dfsg-6

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-6 has been created
        at  b192f36e8da24acfb71d923c2aad49047d519ee4 (tag)
   tagging  9ffbef80b9b8674c94b0a4137bdb2de701f3b2d1 (commit)
  replaces  debian/8.2.pl1+dfsg-5
 tagged by  Stephane Glondu
        on  Mon Feb 22 13:24:43 2010 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.2.pl1+dfsg-6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJLgneLAAoJEHhT2k1JiBrT/5IQAJdBa2lcQEzGW0BuUciPdczl
qyvjQL8577rkGoCLkWM0XZNbTb6JSb/i6akJtUm22lNNr8U9l1ugKtq9ykRe/P85
MHP5tte1tWMNGweBRi9p4MAA2nHN91Hk85QIkFbq1ttS6jJ3rDQjIp/zGusAdjXW
a0W9kbPiYZogGHToKhY9gY4u2Ml1oeUoP8q6OjS4a9de0q2IPSnhN9U/PjHeIOmL
fjNDrsY1PbkLaqtduLmoUW+U+3d9UEVihY5JyAPJP6jfnpSzv8GNMAvLJClzE7ut
Sfq6vpEN5eC/ZFMD7q0xjcqZ9MyVTMVqJhtvdBnhFlBPKg7ELlBh64iQkqguQ6oJ
2NzeyFulwYWgaAR0so6R1VYMgy0lVo5hzvP+ifM4n3sgFNefpQYqCdJsbDw0o4X5
RIF0uu5HF77GdcWzwmF55rKfgP4Nr28zW4VeLL13EoH9qiI/vd3n3JehjR5y9sF1
DJVpOBjSqWBM+MRKmHOItACm0N1tVA0coaUxMoy3195kyf/R/08ASrtTIkyAuoe+
Pc7RNSMBcHyw/5Qwebo5D/0x/WLCVP8vtgHww6vnka7fE8qHzfV04cQ6d7bltvPO
kE2SUO8ooONdhOeK24nFkiCDPt5u2mNiGMdBhtEnTxzl8RmcCTzlwxpNR+8myur7
j2D1+sMah3S9Y/5BaySO
=Onz0
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Add Disable-micromega-tests.patch, prepare upload to unstable

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

-- 
coq packaging