This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1.6.1-3
in repository ssreflect.
at 3be76c5 (tag)
tagging 5fe44ca756b1602acf2025b956067c64101fdc14 (commit)
replaces debian/1.6.1-2
tagged by Stephane Glondu
on Mon Oct 9 11:27:00 2017 +0200
- Log -----------------------------------------------------------------
ssreflect Debian release 1.6.1-3
-----BEGIN PGP SIGNATURE-----
iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbQOQACgkQeFPaTUmI
GtPgkRAAouq8LEiznsbzViQv7dpgBU7Tj57UAxPaGcSyF5TQlO6Nq6QcpZe7M6L/
mUklHmlzCg3cMolg663+N1tYwQfeuBs25Ss84RPGYER+C4vgaz1qQIOT15dsBni4
98igS5hj+RCgkVWooVa0kVRdSEFOOca4LIJB8uCf33ldTkq1h8RdDGgZ8rvMVHHv
WIRyFq4nXqU8ANajA8STVTLyx5eQ2Zna41e3rApMPwLcJaEROksVQhwXeDUqH/za
yKe4jmyN6EhKRYetUqtcA2h9iYIUSSW+dMnMF9KG2ztgV//ZnGQJ+rjw+O59S7d8
W/dvjcQVSEI+7QUsuFHPUh+KIalGX7/fhqCz1O+aLcYWmwGGWAJA0UyS4TCtnsnk
jRGnV4ayeJ9wYts/q8TB/V/i/rsg6ETBsDp5HtWAHjlNPzUzD++gF1El1WR4SUOC
ylrK9ow2nhH7YWOwaeN23YmvpgPWa2i1F6lj9ThwCvQTle5WYT+WeoDVaxZZVLfM
O4FkbrZt20sWNGlqQiGK+cJpGFBQkZ2C54WROlRl4nFizOnUSJigErydZ5q1km9Q
Rw74xFYXPKKxEuWnsbDHD2PZ+YimGXXtpYYye+GRqE8M1Jndx1535xB4jaJUaa1x
kV5QGhQENKp7GeuToIQMgS03VVlu8tIolpzfw+zsAFJxsBNlb3w=
=HAcy
-----END PGP SIGNATURE-----
Stephane Glondu (1):
Recompile with OCaml 4.05.0
-----------------------------------------------------------------------
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
