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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits