[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.pl3+dfsg-2, created. debian/8.3.pl3+dfsg-2

[Stephane Glondu]

The annotated tag, debian/8.3.pl3+dfsg-2 has been created
        at  0e5ad395f79da400519bf55be85499e37d5fc5f9 (tag)
   tagging  11b04078a227fd8849972d05417487520177fb04 (commit)
  replaces  debian/8.3.pl3+dfsg-1
 tagged by  Stephane Glondu
        on  Sun Mar 4 19:34:08 2012 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.3.pl3+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAABCgAGBQJPU7WgAAoJEHhT2k1JiBrThZMQALJW9H4ompCSRlv/4Ola2hmb
rqrky+5ONBCB/TiY5iQuCrL2J3GwPcq2DlkIil5YcMqibUWfEvxWXLDxAVKU6Xuv
DUz6ygtiOlqT+vxQnCxOjgSNvfY6mKvvRDz91paJU39YU80xMNG3oG34GG17hssK
i4QHcfErHv67R/xHy881dfQC/u/2FsKgnEbeZAQXgPI5aneKTrJsaOzr7hPE2Q5L
ETIKKVCiZHz7/hvqdY1BlWMikQkxsNCK/YXAhy46X4e0d3XQiFdpV9Sg3Om8yC0W
Y6Tf5qNiAkLyLo4vfMAQpPo2WKTl0Sl/vzckxzzZUt22z783rqMKI5dTjB+sit2I
7aFlo4OAkDFxu6F8xTxA7ccupB89p8GnYCtqGrsU58GtVxikdEgha0Kf/NHLqnIk
5ozULXoN2LXiOWl/iAoo6/CAynhJ8RSRB5Z151B7TAb1q40Ahl2HnpaXk8SU6s6P
ggmoVBlAxq32LvSVqBnur8TH+R6HZATRYiIHhS2N+YDFj2cd9fAFtoz9qJlnyVM+
yrtX1uYP0dWVk1jbs9ZGrfw4lWhuNvGRlWqsJpU8kvbasRYBPxO3I1mAHLY+7tmz
HDTDEb5of3y9Y4jMEzsYprMCU2IxlXQctsNxJxwdAR9SPGE7FsyWVb4dLHV8mnKP
QpgtiAGHwZFFOQ3TKWW+
=uYy2
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with camlp5 6.04 (no changes)

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

-- 
coq packaging