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

[Stephane Glondu]

The annotated tag, debian/8.3.rc1+dfsg-1 has been created
        at  9babeb201465b4b593d32132658af914a6670c9f (tag)
   tagging  aae7cec8d7f5048215b7ed06a8e94cb032bfd21a (commit)
  replaces  debian/8.3.beta0+13323-1
 tagged by  Stephane Glondu
        on  Tue Aug 10 19:58:47 2010 +0200

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

iQIcBAABCgAGBQJMYZNXAAoJEHhT2k1JiBrTdJEP/jeAP3aydyyL3rg6HD+jm21Z
m3nzYZjYVtTgvkMtguVyFK1NLaUvDVWH/2+DteTnjP3O3a6n9tleYNcTAJTKS8P3
/TSuBy1aiB9W5/FFXk9z9sLzwCGYvkZqLAA34B7o+U8dhsaR7TnNSolhfvD8tI59
FQQ7TnG+9dbLFWs2HbU8yM4v82bM6UyHlOMDzTVE1nWQRZLRDzbgMrgoyiCHmOFf
dYR8NEuD788lCuRf4jrX3DqEpFi8dZit0GrhnF0HN5GMzAV1U63nGOpwfW2MDQAt
kFqZFSKyLd4++lcLeMf3pU0G25mdRKExVlDDV6JNhtOos5EGetM4eAPg2l4GEC5k
wbePiOXAtpL+oubxeT0q6yf//xR95/PdD4mLWcib4TKR80LVeoDnGe2lgwjvI1H6
JqyMXbH/hQa703LCltw9Nx0FWb+zOs7YNWDOK3Eyu4LOa4o1CV2k7YmwVYwUSosV
hLh1la8d/ju0Bvvu7Cw6iVCZwVqIf/x60GbvWAy2o8e0qCa8/s20/zcrSf9SF4h3
4kNQ9tV+oZUQrcxy7BJEn0V3QkB6zgnx1DG6Ty+gpyq+dpx6n5xuGZY7ccwz/HkL
Tic/+BhdRVXVEvOgtBEzf944j7ohbKPbQ89eeEXdbRZ2ngOFTtK/KFhdNn90VttR
CJ1um+7RfRQg4jLCvdQQ
=Bhm5
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      Imported Upstream version 8.3~rc1+dfsg
      Merge commit 'upstream/8.3.rc1.dfsg' into experimental/master
      New upstream release candidate
      Prepare upload to experimental

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

-- 
coq packaging