[Pkg-ocaml-maint-commits] [mathcomp] annotated tag debian/1.5-3 created (now 2579eca)

[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 mathcomp.

        at  2579eca   (tag)
   tagging  d84b504496ce91b56fb3b033682d71be0e711082 (commit)
  replaces  debian/1.5-2
 tagged by  Stephane Glondu
        on  Mon Aug 4 10:39:00 2014 +0200

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

iQIcBAABCgAGBQJT30alAAoJEHhT2k1JiBrT9AIP/3vHUQc56gDmALk9u/iW/oMr
lGivqJ7WkhDEC6Bb1GLeJtPikmYsdXG9MBhyWfZlozP/8C9PIQptffDT88kIEcnj
RCfH45IZwxTpEHLs0QTfQrEMz52Jba1g40UjMEo93qZ00nhyez2br1ANbvqSffO9
ckbcvqE7E1rWtd4KFxUVAM4CF100GRlyGap+ylBohgLRKsINvbOC81cVUusRXC4O
uEGoXpvH4Qc+vLfaTOTPv58saetISRd9+uE0qc9hJwy3nnWsVsUz0X5VXuGVJqeX
IePc7NnPWAnROVOCr4Hs9YUsJxanKYLcqs0naul4fEyY3KF9LZoGxOBL3+ud3cTc
1aOVZEpVjYaIQG4eRKeAKDOHkV+kF0fvvIbFDZPiRG4i5eF1PhXdDUUKgRXCZMHZ
iUS4Toh8+liYqSL/yoEpVo6+zVLVtq1vxsrrh1scgcUBlwZFDjvorY5qK3TfKwf7
w8YQDSYlN3pQTl5JQvVPX3U62JXeohBR3e7bH7BOatQ5Fma6f/pdSjFgZpMbW53N
tGC/btLNbNxOJ7FjvCXygYRl2XaddRQcTKrg2q0rSD6ISxy1gc1gWExHFIWrARZ8
aAkTEmsb8/V2HcEosAKoLRP0CnezxILR6WtbiebtOqZC3vXV0czDeA/kpkRkzFJR
vSc9j3Kaje3jddzQdsk9
=g2/D
-----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/mathcomp.git