This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.5-3 in repository ssreflect.
at f00eaa2 (tag) tagging b1dd08aa8820918aa8b2a3d48ecb68a93aaf56c8 (commit) replaces debian/1.5-2 tagged by Stephane Glondu on Wed Oct 14 11:49:49 2015 +0200 - Log ----------------------------------------------------------------- ssreflect Debian release 1.5-3 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAABCgAGBQJWHiU9AAoJEHhT2k1JiBrTiRYP/3/BgaEaA5YvW0NvSpagh+jT KVot9YJrqGMsFg4fnJYqIjjsfRPBc/6u3NGRfgmb3fgCBCWvHJGKDzaUyQ/EJiYH 1kgyIDq7gj83wV0Q5cdIjwHdVL2iAUW7eBQTuXjtdig531mVtnF1SpQUjESlomT+ nfNu5tM/w6iEUNGR9iU3KVbm1/yH5Kjer1OgEREsDwgV033qQ0KZhpxspgzRXNB/ GkOBqeqEJaCqK1CZYeRVVAz5A4L1K3tfccurt6AwYgbH3lxN7GBhHFz50UihFc5v T4qC/tpHU5g3TLY52RNXLCfS+MX0P2yLNujh1f97vA2mxnzfnPpIjHSGsmWTunD0 aImn2hYiH1ocbHsWLAmsM9NOHCzRP293TIiTE8ov/KYcmWpajll3/T3ItoYtAFW+ +SjHd8YjsLy9SwQ6e8Yz6aaiWVUku0g2FROXdPo2d2O9PzRUeX4LN6SCZ84kI077 C6FGNGv4Xl4QTTwCye1jHX0VldtvaanrjvdC2Qmh4+/WLMy9eH9biJJJCqlewQgL 3wMEgDkctJB6Oc/Y95T1j+uA7VCc3oSv1BlMdr/s0xZI4I1VWAKOYgrtZ/fvRgo+ 4vYWRJ9N/8ciotsAvBg3PJOQAmo9e9Er5+fAHXh7VeuRFxOiRl7/Lil6bk+kvBv1 FwSvfZIr/5mq5w3TCw+3 =FvR4 -----END PGP SIGNATURE----- Stephane Glondu (1): Recompile with OCaml 4.02.3 ----------------------------------------------------------------------- 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