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

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-5 has been created
        at  e6ad69cfff8ce2e57291f5b444937d19f12490aa (tag)
   tagging  beb7d5356e2d50189c89dac8fb336ee740186987 (commit)
  replaces  debian/8.2.pl1+dfsg-4
 tagged by  Stephane Glondu
        on  Wed Feb 10 09:59:27 2010 +0100

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

iQIcBAABCgAGBQJLcnVvAAoJEHhT2k1JiBrTb7oP/RpMUKt1tz42p1YzbW9Fe/f4
2UfUQMvgzhOrOfetTaMTSM43hRRZnPLf6NVnUUO/piDHwjX8G0j+tp2REUcovkkd
zR1YwupshCNgDqEMBuH9pa/CjM4MZPi6OaGLavDnxrpy6xIhps2hnGzOHfGRF5SR
vE3E/yvlt57uZjQehwEh8maPC/g2yK03sQJH2JdX9L0UYcu2eOEM0cwxTGjxMPPw
QlpcTjvZ+b9l6Z2s2FRxUXrLEYZuLo6lEO0MjwCAGOk4dMDVYxx96+F00afo+fHb
rtzoBYW4i9++CC0BQ6Z9APEvRxTynsyuVVG5cYSmM/rGJWW0sMxBVr6hBxkYHx+G
Q8qROONsAMcG7sWxstlUViR1w3f6n7DBjRxnqJxV+yoZ8I+El8K1dn46TXsWaz5Z
BUQ/DK5ovHTMcFlJvpmywc3PQxboO36/GGarnaRcnfhO6dRRpUeHSUinF4IrDkGj
65ACDtf18cMQzipUkzG9WSl2RoJ79zuBQFKoecKLXXU/oPohq5/3fP1PXK3rfOw7
vf6XC90mHuNOTqeaYE2M80Q36N3dD6JWCGXMYCHOE7q3RdahC92XfXpMf0ABn+cg
LQ+2IMnf1THz4XZ6uksmHMxRxG2aoMFTKIpXW8bERsLvO3mKbz1SSGLiOK05QLet
02IIL0wHd6XDAvtlJo87
=EW0n
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      NOT RELEASED YET
      Make NEWS file Lintian-friendly
      Bump Standards-Version to 3.8.4 (no changes)
      Update changelog and prepare upload to unstable

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

-- 
coq packaging