[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl4dfsg-1 created (now 3b33adf)

[Stéphane Glondu]

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

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

        at  3b33adf   (tag)
   tagging  476d60ef0fe0ac015c1e902204cdd7029e10ef0f (commit)
  replaces  debian/8.4pl3dfsg-1
 tagged by  Stephane Glondu
        on  Sun Jul 27 17:25:54 2014 +0200

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

iQIcBAABCgAGBQJT1RoCAAoJEHhT2k1JiBrTJ7MQAJSmgFfiqfQsazicfLWO39g8
hW68WTu5Rm6um0p5sDymXpHoz0K8pBLQfcwspc5RcVbHSFU/NYtEXy2Tg+3+6T/9
6kpwGC8l+d0VE504D3XKOd1kclB/JRFJ7qWZkVQ0UkaW6se8DAROdLTM8DUC9RtA
+Zo2Brt7Q5IrkXVqskC5Nxc/GD4ecVNbnUSDMBnJIurz4BxD8m9M/biOpTL8umcD
FQDhclhKl3AL/IbvJyhP5P7ZRYXUqfrGzOLezdfX5kQlygJTVIXcScVvQE3iBzuH
ElT9sG1kvY1zat9z8gBe5cd/3V4AooBrsz2MpXgvh7mjCVxs08a57vC2L73nrKFV
TmAWZIYNAF+Zho3ILT9SPl0b+cEosHLlAnyGpaWLAwaJoP8kZGcrF0Zbk2K2Il+v
pQbCk+OsIpts4v6ATTa75C97M5YDC9lryEcr/iFnUzG0f5MlYa4nWPLc4m5Jzn4P
ew5GbksD2R2DLAf6IaJhTI7mixJjtAJN/KpF95J0TdMtOBplAEIZYw7O+9LthstK
P1Pd/yHeipCuMUup0QO9MgAKSyL/loH7Q9q0eTLTvpqMh3IN0jgzUMKsbc9XoIDi
YnmnYKSWloFWN7aGIVMBbEAu/7tSyPkYlEh8X+VMyJ9IU8TBDR4QiaoaOXss77lG
nncuY9wc0WtO0j+OD7DL
=3lMM
-----END PGP SIGNATURE-----

Stephane Glondu (9):
      Imported Upstream version 8.4pl4dfsg
      Merge tag 'upstream/8.4pl4dfsg'
      New upstream release
      Bump ABI
      Switch debian/copyright to Format 1.0
      Bump Standards-Version to 3.9.5
      Bump debhelper compat level to 9
      Update changelog
      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