[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl4dfsg-2 created (now c481dc2)

[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-2
in repository coq.

        at  c481dc2   (tag)
   tagging  ac7d8c9837b3e4b35b011fbe0f995a4a1593041c (commit)
  replaces  debian/8.4pl4dfsg-1
 tagged by  Stephane Glondu
        on  Tue Oct 13 21:54:53 2015 +0200

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

iQIcBAABCgAGBQJWHWGNAAoJEHhT2k1JiBrTU04QALuKlaA2T6K+GFwAGRyHNZFB
z74hADB6iE8z1vhrwql1gCZ1wXijGdLXpZ8ns4stqtUFV/TwtsVqCWEgz2VlfMCS
Wc9VM/XNyh8kCx0+9yuVQlyuXT2gP7K22cPF4QQrwwH8c7nHTWr9acgFoLF4Hrip
+RZirke/ybB8ZlcFnPUuImaXDnl5SXDMICu3Dri8Ea72cRIXCzE8AQ5z1iQ46xZD
zyLGhoi+rpttVmkrlI4FDfyQVpPltRea7ytDymvhTLy8ZVRcoTx+etZl3NvnKVPb
hgtjYuJibhH0jQLJnXpjIA2JqyeyT7nii8liP84IsmQsTvDcAcd97a2UhHaaCUqV
X9NAS2Ho3eEhkd7XP8vsMhL4fc0IDnhFw1l3Ww8GrmrnXsjTuv/k8+gOITyl9x2n
sjeAshKGZtuufbfXCu9WPwVb1pdiYDFpfOjwVBNJWHN9zVxCCqgJwFvEpBa0k4X5
WkaOotStPpWWNJa3ahApZzi5E+BQsPfHQvkOoDztw0wbUfTe5akcZnVDam/VlDGu
FTTDnvTSvUFSbcc8JBxvDJvKLFQj6DR7fvyV3nGd+BnA5qTprNsrvkmlEK/mtM4D
ioFCyW4KiMTyZiN4Tr/TRplyNxQjBLoaO9TWAVWr9rafd7TdsYc37H41ExgECGY4
9OyRf6etfn2af/p/KAGN
=KbOi
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      New sid/* branches
      Fix compilation with OCaml 4.02
      Prepare upload to unstable

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

This annotated tag includes the following new commits:

       new  ab9ecfc   New sid/* branches
       new  fca0afd   Fix compilation with OCaml 4.02
       new  ac7d8c9   Prepare upload to unstable

The 3 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


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