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

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-4 has been created
        at  61a919c247cdd59fdc4a7f0ca80b2e44291f7f7d (tag)
   tagging  736c6823969a86dbe94460b3db6a3d61c541d270 (commit)
  replaces  debian/8.2.pl1+dfsg-3
 tagged by  Stephane Glondu
        on  Thu Dec 3 12:12:57 2009 +0100

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

iQIcBAABCgAGBQJLF505AAoJEHhT2k1JiBrTXJ4P/jBZGvjX/QTZvXO9oNSHIstC
aOQhbPK6D9WEWMtXwpsHSMNq/gbkyz2NAs4gXa31c6eI0+p7njsGwGLpEfBqIxnM
SSNq+BKeNM5jl4T6OHgXIGg8YVmZ30Klqe/pMdyvykpdNdUwDSp0VCcY6i+7N8Zb
uKb/VyspgyGwTViXQICNhAHeTm5kIGizHGt1xFmbjkfbuxalmHymsJqHW/LYUqho
rmFnxaNS1aCWEbx70xoMQkGMZF/yenBuyx6gv7AZ7vCFnEDZVS/aGcAMqLL2pY4U
63fecw6wG/lQG0yjYHOiYgsR6i3MOVuhfSMFgU1gPfCoa+yfDVQWlA/hJoeo8yxl
fwsX6yCgURo+B8tXzUXIyjCHWz9/daR7luUdUOYEL/FAeL7lz6VBrAT18VT0ySr6
BHgSQmqCwJ05DCNf0h7GsAok7b1OuDktJKWr+/fYxoBx8RLcDR+6GF7J/fUFYIVC
c9AZE0dBhP4lbpOfRRLjWvJ97b1Q6s8lhMuaU7SkxaDzNX0VbMs5JwBWtMRi9wSC
baMParLr3PaoHyRkroW+O3qmswZupgbkT09BDuA03Sx6/JxyY3/c1q8arZrZrZ+t
lGdo41thH9B0LqXkJTgmd51XILPKYew3lviOBsL8hIdM16cKAf2EC9nLytyNMSEq
kfH41JESmuDFAjOcMZRW
=Zoyf
-----END PGP SIGNATURE-----

Stefano Zacchiroli (1):
      debian/control: fix typo in long description (Closes: #557458)

Stephane Glondu (2):
      Switch to dh-ocaml 0.9
      Prepare upload to unstable

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

-- 
coq packaging