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

[Stephane Glondu]

The annotated tag, debian/8.3pl2-1 has been created
        at  792a9e06b055d72ccd37a9c8f5aa50f23f29fa56 (tag)
   tagging  3e87e64e6b69dacb981fbe7ca770928ea55f1413 (commit)
  replaces  debian/8.2pl1-1
 tagged by  Stephane Glondu
        on  Fri May 6 13:53:20 2011 +0200

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

iQIcBAABCgAGBQJNw+EwAAoJEHhT2k1JiBrTICAQAKSS9j/E2U5iwHg41W48S/IN
SQd1QvIH27K+7t7VuUwxJTVTItfWY5ZD02YFb1eXtpv+K59nvP+fTSXgXwOXmKim
01MlbJ5nH3Phf25VafmD7ObxrAMxwDcyQRMNx12GGFJVskIbdaaJ9wOeIfbTkg6y
PkctwX2y7LtG4T50QcNE1DUKXXs6JAXm+jvEavqHgC3e3asp6r/xIBdsp8xg/kaR
J4j8CP1ETpMzrsQNGNHcREfW7cxNf4PcWyjY2Ft88+Lp3zLTZDN2nnlZs2iosQaq
ILPTJR6nnIV7FHgyKYYn3Qrr91jrYtR8BU/dHUjk2YZ+5XZBU/X63y2ApgbPNyvm
Rq87WcdgF0jFk35zEJJxyhci+UyELzH8CUVw2FjLrlvsBBkCE0aPc5V2RV/UqZlz
n0UddNrdbI6SG3i932qddEV5mZL3Lg9wKPdoNwW5z7gh2B/nkm4g8GUt8/wRiByS
dogepWfTlRDgTYwjHai2bYLRPeBwqK6psuPMG1KAEKK7A8y423F04LDqHoagXKda
5A4tp43Xm6jfuN+lmPzqZ5nCTEDo6wZc2A6qopgloAKqgeKMMiEuT+OchPc/hmvp
l7f/B5ZE0+M+PCifnTaJzroWesIoP6nI4SFvoBksi45vd3/m3xj/p2zJJ7UriJW5
2G3X45JusGo58wtJZeul
=pZip
-----END PGP SIGNATURE-----

Stephane Glondu (8):
      Make dependencies of coq-doc versioned
      Imported Upstream version 8.3pl2
      Merge commit 'upstream/8.3pl2'
      New upstream realease
      Bump debhelper compat level to 8
      Bump Standards-Version to 3.9.2
      Add local-options
      Update changelog and prepare upload to unstable

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

-- 
coq-doc packaging