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

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-1 has been created
        at  35fa0c947758cb3a8e16e9ced728dd31d96f2574 (tag)
   tagging  d43a92cbe2dd9b90393698e98eb96104b14c04fa (commit)
  replaces  debian/8.2-1+dfsg-2
 tagged by  Stephane Glondu
        on  Sat Jul 4 14:12:54 2009 +0200

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

iEYEABEDAAYFAkpPR0YACgkQBg8odvzgPapaJgCeNInDn1C7QlSKQXZtGRCz1M4c
7aEAoJzklfXquHi7LL4JSbuvQX8S0tbM
=GloK
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      Keep some file from doc/common/styles/html/simple
      Imported Upstream version 8.2.pl1+dfsg
      Merge commit 'upstream/8.2.pl1+dfsg'
      New Upstream Version

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

-- 
coq packaging