[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.4_beta+dfsg-4, created. debian/8.4_beta+dfsg-4

[Stephane Glondu]

The annotated tag, debian/8.4_beta+dfsg-4 has been created
        at  249d654bc869663ab064d81b3454eddbed3dec44 (tag)
   tagging  ff61c7f8b0cbe6f0173720e08a63142a3146cc53 (commit)
  replaces  debian/8.4_beta+dfsg-3
 tagged by  Stephane Glondu
        on  Fri Apr 6 11:03:31 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.4~beta+dfsg-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJPfrFjAAoJEHhT2k1JiBrTrFIP/ilMg8AA1p8gQrLGCzyowo20
4WbAstJEaawIhBMXxv3ogzX5wIw6HsQzjVIOQLtNRTZTlugXHvbYKfpeXZkurmuo
6Jw3+lHSF2UVWZQ7zppWHbkNG9JpzmKXNKQSmvWMg7LxOX3A+ZSMjXH1vE6aCP+A
4iBusS6/tINtu2XChwCUoxKOd4VbRdVKyJx0CimGglf5GINSW00yC1zee+BoLnZH
x6ngHSz2hs1B/PEvxT8HEfma/AH9W7YsMAYdq4u1ZvmO322eM+FA1eJbcx2nsxAu
4O43HbsH2WKScp5bS4/LMgN6c6DfTzU02AwqgXvpSRldQ2XBHOctOFM3F2vjlD2v
gp7kU6JBRjyD6Z7zfrIvcY12rT+LenxUcm31G/LSTFAagTB155/oWk9XGRCFRMYW
m89rQnt1LR47A4cYBQM+XklMFYylwk150agSrABKZ8d4JihFkSDzUxf/YBpqqfKl
y2cWMUYMwlJQndOMv1afPP6pQcYTeD7UeANMkskslVJc40Zrp05IDqF3D9uvrnBS
tXnH6fuCRPXPRO+XsEv20WZOmalD2p0OBHL25W8aU8SVKMVeNk2FOpHlc1nseL6I
uQBgz44Ko6w2xMBYsV05ynhfpfjgiKEO0SskoLMS5skrgtvukNOyJA1h79ogWfgw
o3Mwl345y+3hQP2uCk+3
=kIZ1
-----END PGP SIGNATURE-----

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

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

-- 
coq packaging