This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1%8.4-2
in repository coq-float.
at 94d21e3 (tag)
tagging 22c151a510b23e7795514931fcde9a92563a3a22 (commit)
replaces debian/1%8.4-1
tagged by Stephane Glondu
on Sat Dec 7 10:43:15 2013 +0100
- Log -----------------------------------------------------------------
coq-float Debian release 1:8.4-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAABCgAGBQJSou2zAAoJEHhT2k1JiBrTP4MP/2MnZyHKlVGuv/+6R4QEgNrJ
Pq2VEXQaGxwUsMN+kBpzuFIRmmK06TcaAXVenaPVfUonA3ZKT3OUSZOJHLXLA2Jr
Hj4SbMbDHqJ+Q1c538x8oiiI/sOjALuAKccSrA7LASD5gpBobXcIxNg0K/7DOcWy
Fp1nbS4jpDSjR/73vF2sNsfRs6T0HsdaVNIBmTzzVfto8MDH5XtpzXAo6XO+AxXX
DzbxGJDH7QALp7Xnlq+dYY08GiKoRIbE4Buhg+u3qLmUCEtQuXBBpS/jSbtYUK4r
p2JGZI0CQDZTau+xzRTRUsIfqRKoMB7BZoAnd9ZynBnWtNQsVgZHdGUjqvBc/n6W
IjZ9bPKQzLTgAQXwsQnsnWVsRzLTos2pHDDw3JAz/CH3JyYf+UYYFwLFuNgCrhAn
um49mXTcigFySLGEqq5dGH8HtKxc2dejBvb5nH+7q2wWQ+yT2Xh8Snb+/hmNOZo/
2c4M+zie4KKa0jCXqH0BpblRYmOxk+c/nxtySs0LYCyCc8uYO9ww9Qy2TUYxcc8K
UAqd0niYKH5GUwDNaXIyG8WFgLkRZNpNTYlAR7tcUZDsyHZbTeeIqvU+YEoNhaBP
XoF7V0hHl5Gf0pR3cI6G4QfAzy05fwmHXtq6IqWGE+jbd1ysiV1OqKaXyx0GGiJk
dQ0LqfeBtEFn4md/+sAM
=0AkF
-----END PGP SIGNATURE-----
Stephane Glondu (1):
Prepare upload to unstable
-----------------------------------------------------------------------
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/coq-float.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
