[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.beta0+13298-1, created. debian/8.3.beta0+13298-1

[Stephane Glondu]

The annotated tag, debian/8.3.beta0+13298-1 has been created
        at  9b428233041a3d163c9cfaa28d7fc5690a6fb29d (tag)
   tagging  318fa60917ddc080ece3a6d303c07e06876920e7 (commit)
  replaces  debian/8.2.pl2+dfsg-1
 tagged by  Stephane Glondu
        on  Fri Jul 23 09:31:11 2010 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.3~beta0+13298-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJMSUU/AAoJEHhT2k1JiBrTVqIP/3XAswj/OJT9pmQD0RzzfmMY
kLTAE/zNMvqzr7qpPmd/M1l7bmUldva4NdX6BNw/TvfE2WLYgkUKG4a90f/nN725
dTW/YPPBTj3cDSPrQ3rsq9Yo2iHiIeEaAsSHUSAzImu+Y3L2mSxXlxHCM1v9Bmoz
0lLcaMlkYnj7WkJCGaQlvvkK7Yg8iPvRz4qqUGSP82eHvHp8nkkSvDBLa9evP7E+
MEUpG9XEymMm7IIZuulETCTQQ8Ft2DhpQPJheVCGg6VzxK7rhTabF3ugKt8/FJYJ
IXRU7fBrZXCbr1+BxkOt1ckEG4/SoEyZrzLbfc9QxojQt0ZuYhTUnAIFWlhb6WUR
aQp7HAsL4sg8t4c+B9SPh0bLwvdq0aMYVkmSnUfds9yNCr0ZGGjbkhxEnvnqlCuQ
SpliIV2fhekG7QKEh+JDLF1mYBeZVsDIOvk52+AppHipJSAhJTvm00TN4O9ugUx0
HPoPs3kOytRDfkj2D24ePj6B6xmrGk3TNMw+Ld9XrMWkiogpxE5Tdy5VzZJK+wj4
5dJk++ZL2sqY1XdETq4MnrXuDU11QfrHi/8qR0g74bRCZM/Csjz2WMLdfn5Z8/xZ
hKwUTXwQJj5fpZw0/XqUX5BD5UdzJdlp9LebwT7fCnslnVB/fQuWiI0IzlE50CAO
aZyF3by2U2OXqk5IbdvW
=J1zs
-----END PGP SIGNATURE-----

Stephane Glondu (8):
      Imported Upstream snapshot 8.3~beta0+13298
      Merge branch 'experimental/upstream' into experimental/master
      New upstream snapshot
      New branches
      Update packaging according to upstream changes
      Install plugins in (new) binary package libcoq-ocaml
      Refresh copyright file
      Update changelog and prepare upload to experimental

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

-- 
coq packaging