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

glondu pushed a change to annotated tag debian/1.5-2
in repository ssreflect.

        at  d67b6b9   (tag)
   tagging  d638721d105022a7822265dcd767ebef50a76dc7 (commit)
  replaces  debian/1.5-1
 tagged by  Stephane Glondu
        on  Wed Jul 30 10:58:15 2014 +0200

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

iQIcBAABCgAGBQJT2LOnAAoJEHhT2k1JiBrT2UYQAIHaQSVqGIKx8Slu6zVckHFv
xcd+JBBEnM21PxrvfRz4pzs3aOHF23Ybt6mHcgi3lHw5htiVz7G9XAB5WXzHkljL
DMWqOK9wjibKwPvukB+6sjGp4Te1ewhGn63YBrQa0Cx6TnWL9PBE+55Y31ZRn0k/
TQ21rxfj/mZOdyUzyRUlPUMqTcrt3pcaZqHRS9LtsdFcmSUMu/rc6zXUkhrpCtKl
bDl1jORxsnpa6wLRE5zyGAG1dgwDMXnythHHvgjZvK9FfIc6QMm8ee/LUlcuDcIe
u07GSXEvxeYplhCHc/R2abyU+20e/5XL9F+Dgx5xD8sVHTJ432x9L0HQf6LHLymv
EMxEdUpeTlfi/q7A5tMNJP/qaktGu/yDaWU470IgmU3qc5HS4VFpd9J7Pyobj/qX
MOQSfqgL7MFNhFzCVVvzc+V4Oz3AhZm/AoLq7iPfthPZqI5ke1Ex8B6ji/jQYpUH
g7BVxABL/kdoL1HZyrqkR5pmfHcllu6ds1vz9mF8W0MzW1BLZb8Qc7LYngW1V3nS
rqZkZpKNkBrOZ9G5BtnQi2yNWrThMBf7GLYz4GQWD6BavGTPmATzNPG2wQTdCLo0
h4/thEOhwZkOGK8FBDQr9vdDP33xTDJXoO5fOcvG/X8TwnPuYTk3acodUTXwCmXp
5HATpgiohbylzMSlKc3Q
=S2LP
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Recompile with coq 8.4pl4

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

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/ssreflect.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

Reply via email to