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

[Stephane Glondu]

The annotated tag, debian/8.2.pl2+dfsg-1 has been created
        at  45d84eb47ca7ffaa8a5d28b21b7dbdeb74b28f6d (tag)
   tagging  7a998985060742038ba6d2664d159ff2dbcdec3d (commit)
  replaces  debian/8.2.pl1+dfsg-6
 tagged by  Stephane Glondu
        on  Fri Jul 2 16:30:22 2010 +0200

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

iQIcBAABCgAGBQJMLff+AAoJEHhT2k1JiBrTYuAP/1v9OCCrT1HiIwXtQNzEEL7A
nwht1pgGPchpOy71F5NxYvActqqMxTBzrQZ5dFTR6+IVcgk91hog2+nknei7F2pD
pHD4uN4l7Ae6zryAqdzn5H1vO9i333jXpzkmTzXG31FFNTGunQeaAuZm7uCBsWkn
XUwY9wnivKR+QjExy33ADgl5SD9O6xE22ahVRC6OvJM7/OkmIRreitqkOVyktsVY
6rWLXlGlyC+gTzd/FZroJhYHEWxm1zI49Ds3BvUYptQSkcSqmiHDaNBWCs/EMz9Y
7DndzG6bBrTjiWRO8t9JhXP/Q1eImijlgpMsBMMIBGiftG0vrIMDFWkEx3UCDRTX
TNM4H1ySPfwEEfhYc14VgnAhP9B6chlHSVcb1iqiPbT69+A8EtIRPXaJOObjwkDa
in/FPxROs9Cemq27D3TWrX+wtli21vTBmrDsZ0jrxCI4b+e3/zYXGfHflAOe+eZx
0KW8HG6vGFsigi/BO6ZUzBUUlD2DRI6IRdSQo+g07vHkcB6324T4/2OzlRRJsY3d
pwq/61ghmZqz/AEJ20gKL07bRv+YvQ2p+vwGiL0/yOqWqBcYYCGH9YV6ATooEsyq
mMzNZcQNC60zlmGT5Xz/rugnA+5pACar9weGf3JjFR2gLOx4d9FnzH1EyC1561sJ
HRTQk5wOmRTPifBBt5fm
=ardw
-----END PGP SIGNATURE-----

Stephane Glondu (12):
      Add 0003-Fix-build-with-OCaml-3.12.patch
      Imported Upstream version 8.2pl2+dfsg
      Merge commit 'upstream/8.2pl2+dfsg'
      New upstream release
      Switch source package format to 3.0 (quilt)
      Use debhelper more thoroughly
      Use dh with overrides
      Bump SV to 3.9.0
      Remove Stefano and Remi from Uploaders
      Fix a few warnings
      Add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
      Update changelog and prepare upload to unstable

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

-- 
coq packaging