[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl3dfsg-1 created (now 2b3c523)

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/8.4pl3dfsg-1
in repository coq.

        at  2b3c523   (tag)
   tagging  100dfc287ad57a3245eea312f7aa95c49f8e2a34 (commit)
  replaces  debian/8.4pl2dfsg-4
 tagged by  Stephane Glondu
        on  Sun Jan 19 17:31:46 2014 +0100

- Log -----------------------------------------------------------------
coq Debian release 8.4pl3dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAABCgAGBQJS2/3yAAoJEHhT2k1JiBrTAU8P/0sHdn3TUERtU/Z7Hl9ABIZj
ZT0Z3sMNVfTuGuu9meH2O6X0ecGoAVvc+OKPyvuyEYlNazKwsdw14gEjfv9LFFlA
bLAPJUxrVvCQ+BDLwTYwXtbOMHfjZEf7Br1wGUqFcgfeacrXysrp8QFInA996yMH
qLqUGPSKh3wPeR/HOnlNpdIU4vzErViHht6nVz75juO2lr/hy5SIjCLQXC1Z9LZP
dVoQaY8rpslQH57xhIWFx+rBt59j3cQrMUW7q24oqtVCzYJApTbB3sfpnYLZKDC5
EIjdwVfblPJj97TSy94lL6ZHk8Zf3F9Lbkbr4eeMiWrsBYnFokFQuRSf1n/Ypnrf
UjjdFxQyhdsthOk93AectIw7grSDSqHCX5GGAkli+deirlJlXfmnjeRSP0ybC8nU
6N+3P5OVTfEPeQT15N03eVmAhTXn++QNgHnQEJaM9Aean/6oALRAoIucoawUaBYA
xGeyUyNDlf4kxJJ1XrraqU19tFmjE3DqGlH3BVfqozJHKwpmCf4eww+byUbjw4Og
R2AeApZlAV5QpPgtG2SUIMvjUFwzvO1xumUb+N413XnESUDuhQ0e2mD8I2/8rd6u
BvORph/Rs5sE9b9+gmWTTr3Z7qeaKLbbuiN+zlth+n4L4pJ2P9TbKCEdgWkAOGpN
Pho4wSvdXIDsCn2U0yGe
=sOtW
-----END PGP SIGNATURE-----

Stephane Glondu (6):
      Imported Upstream version 8.4pl3dfsg
      Merge tag 'upstream/8.4pl3dfsg'
      New upstream release
      Update ABI
      Update README.Debian (Closes: #680248)
      Update changelog and prepare upload to unstable

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git