[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.34-2 created (now 1d54b9e)

[Stéphane Glondu]

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

glondu pushed a change to annotated tag debian/2.34-2
in repository why.

        at  1d54b9e   (tag)
   tagging  500b0718d719b87f92cae3b352d545e81439f1a7 (commit)
  replaces  debian/2.34-1
 tagged by  Stephane Glondu
        on  Mon Aug 4 10:39:42 2014 +0200

- Log -----------------------------------------------------------------
Debian release 2.34-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJT30bOAAoJEHhT2k1JiBrTyfcP/0NlCHpYHTGp0haqTpYSVLJI
J3d6znsEJD1ZnD9J0OXjJWk1Hhc5sTx8Kh6JYV8nNNz+np9vGcb3+5KRuKH5enQZ
PS79kzQ+f87wkTlFW0c83WJp+Fw7noGixWJYeTTD2zbEWCQEfvPBHP8HULmx3UWo
hP7luCJvt9iHkVW9QLHaIenL2vHhLob19JWQwN6qyaYEvVAAAHm9/nDIXYtklKup
Beqizw0fYuHcDOXM1EUdCF8r0EH6RpHP9AzgTGgX6pvORTv9syclvvlZ20CL4AnN
a84eyPQGjtlI3dIh6lDoRXtFIMiGcDkhKEHzU2183wYWP5RlxZ87kIjWi2OnSS/U
v4KwE+u3QEOFpHBs7v+yWHjK6u7G4sEZD+KqkNmmpMQp3Qf+KltNIVcmcB9JoTOD
UTdNAOwHH8Z3BdhnDfpwr/JMs/yii7kPxWOV5dvkz5tsx8tgdmryXJ4JviRO+7Sr
mx33oAQXjqnhlgt0Y/e45t447CSYab0OGKT2LFhvouCWd39Ms8i5yrt6GX6bMqOM
h556oxyu4dPp34jIirFBDEoTOxIYQsFxUkMz2E17ZcLyvRj0/cZpdArLYSXzQpBP
a8lq7UGhRehbeRTY8YCtjvUrJvdlhnYtjSMyBnIsRccEGF4hZkUXYyVD6OC+5S4m
OxgVcXGxuqC0aldEvb+I
=ovO/
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Recompile with coq 8.4pl4
      Update Vcs-*
      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/why.git