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