[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.5-2 created (now d67b6b9)
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Jul 30 08:58:38 UTC 2014
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
More information about the Pkg-ocaml-maint-commits
mailing list