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

[Stephane Glondu]

The annotated tag, debian/8.2pl1-1 has been created
        at  4d08ca84bd8cc3c65a8893f186259e47e22eaad6 (tag)
   tagging  eb7e8227e50023fbcbd06fff7380bd2e6846df00 (commit)
  replaces  debian/8.1-3
 tagged by  Stephane Glondu
        on  Thu Jan 7 23:19:21 2010 +0100

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

iQIcBAABCgAGBQJLRl3pAAoJEHhT2k1JiBrTfiEP/08FeVIELIo2CcWG+eHTPTit
sPWm2hkaMXqh8hUBbKjXu7gVdRYzZrM5rWtjb5WUaCCMK7xIKiXvk9RnmBGqQRBU
aR500ntWBEvtK4XDoERqIYswh8qIc6htPeDCHr13Jwq9hy2edxCKnpzeiHtnUG5s
2Z5S4vqsaFhWRGrBUsvYvvaJujGUZFX/Dih4QTTOXlAD2wjIW/L4ZaiRcki8f89q
hcy+DupJ2f735U9nsnMkCFYWpeDt5SmUFmk+S27BG/u5VS5c71FoiF/oIzDr6228
Yln08lhwG6Bz4KhbPpH4XsAVapJdPGrEzx/U7dP76rnY/za0fJ5zTco2gc1qT0UR
MBzRUepupuTs2nPHcARg5K6lpu9un4NIBiNWVolGOumjenFlzR6zIgQTc2SpOSPd
GX/u9cL60O9OB4yQIo1N2NTGuYjxmFYHcIRQxdktn00faryYbABIqie9ImcUYCsu
JxT8z3h9oDwytvgk9QJdwdORtL9PFl0WSGh38l6BOK2qt5dLkaP4Lip8IK06Eqgu
jcWoLfr+rWwMkdwDItVxrXJjSWbN0Wv+88RUhlDQvYmy+yjFQLn4NSNH/eZsKOUm
bAPEvakX9k6hCQpRzr98jS/yqJlfkO6m4xtALcMFeOyxXnflIJsuhAy8yaXpzrRl
ILtRYZkaC+ACZ0Hi1qib
=Rj7q
-----END PGP SIGNATURE-----

Samuel Mimram (1):
      Change coq-doc's description to mention that it provides documentation in pdf format, not postscript, closes: #543545.

Stefano Zacchiroli (2):
      promote Vcs-* fields to real debian/control fields, now that they are supported by dpkg
      fix vcs-svn fields to point just above debian/ dir (as suggested by devref)

Stephane Glondu (19):
      Switching packaging to git
      Imported Upstream version 8.2pl1
      Merge commit 'upstream/8.2pl1'
      New upstream release
      Remove patches
      Switch to source format 3.0 (quilt)
      Set Maintainer to d-o-m, set Uploaders to Sam and me
      Add Homepage field to debian/control
      Remove build-dependency to coq, add dependency to ocaml-nox
      Add debian/gbp.conf
      Bump Standards-Version to 3.8.3
      Switch to debhelper 7
      Various fixes thanks to Lintian
      Add support for build cache
      Register PDF in doc-base, too
      Add debian/watch
      New copyright file
      Update changelog and prepare upload to unstable
      Add camlp5 to Build-Depends

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

-- 
coq-doc packaging