[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.5-3 created (now f00eaa2)

[Stéphane Glondu]

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