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

[Stephane Glondu]

The annotated tag, debian/8.3.pl3+dfsg-1 has been created
        at  605e82e780055f9e58822e71043d9a36e0997d2c (tag)
   tagging  de109d8c0c68f569b907e6e24271f259ba28888e (commit)
  replaces  debian/8.3.pl2+dfsg-2
 tagged by  Stephane Glondu
        on  Sun Dec 25 14:09:10 2011 +0100

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

iQIcBAABCgAGBQJO9yB2AAoJEHhT2k1JiBrTiWgQAKCmNVY1rMgLU5qbmFU+JmSI
P3AIIdOrHIgD6eQsweHCbcDMEiaZAlQNyZjX/hn84MRImyx0mvNVctwJi1lVdFbU
higeOYsWIDfkFQc2f1lCAK+BFtOn9+UZYzVixBHhMFNwNDcVmTp4JXg6nsib0kl6
lMQr9KraUT8eC6rLcviue43lpRwm9WrrV9djIaUGB9MT8zqtITrAz8FsOpQbKZvf
K4HZmarazhJRDO0HS7FbNOvNyV22D0kakx1NR45fbPlQk9fV5J0m74YTBHTNAgyS
ZjjVU8NvS1P/2NsBJtFWBAku9nVJHzfT1HAPjKZl2NBpKbmLh4TvUmrQhPlroR2w
prwH6Cf/va2qMWraZxUW1NF98ATf4MLfmE1DlkvFo1BCTjNCTNtrZUCwKRGB/ZFe
2vxWLdwz4iKT5BY+P3lpPU+zaqf3GQHlLGhcBhmr+wWguFw+KVd9pL34wisYK5IW
5HsU7In8ER3T9AEHX8Hraq8SxSd4HSlKRIULOdu0U77Ln6qcJTNOemQ5WzVaulMu
AFGFLS6nHL5qlMnY6890fJ4tMd5r4ppOBOf9oh/dxyxaLRIAOwHXaLGOSmiPWcfg
iuCUQKKc2bNU4bi9YzVtneRrQwxVfWeF0Fw0rX8IMZY4Ht1i97gXPqD3+/JVLjbJ
0I4k7q/F1O5RQlf7cV2G
=7DNz
-----END PGP SIGNATURE-----

Stephane Glondu (8):
      Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
      Imported Upstream version 8.3.pl3
      Remove non-DFSG contents
      Merge commit 'upstream/8.3.pl3+dfsg'
      New upstream release
      Remove patch applied upstream
      Bump COQ_VERSION
      Update changelog and prepare upload to unstable

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

-- 
coq packaging