This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/1%8.4-4
in repository coq-float.
at b6ae9a4 (tag)
tagging a83b9b9b25b98e443e77328ad50042da9e264536 (commit)
replaces debian/1%8.4-3
tagged by Stephane Glondu
on Wed Jul 30 10:19:00 2014 +0200
- Log -----------------------------------------------------------------
Debian release 1:8.4-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAABCgAGBQJT2Kp0AAoJEHhT2k1JiBrTM1EQALekYr8BETSYDcNUHdpmdr3j
IRRh6LQ6F0R+n5iguTzGSFI9ThYOAt1Ej5J8vaJv5htRrvuf8W0Vqy4a8oIQ2x7C
/ZigfnpjgGN/sufRJ41DpYTotBAdN+RntO/Uc5lEk3HYFuKEtDkbRlw/u0RsehBo
0dsvFj+wuVsnu/aCDoREG1SwEpRfktiHiNsbsH2iYzIxh/B3RXtUynDIfc7x1KH4
3bhs6N127182El7h3cnU6EQ8Oqp32cQB0alpe4QaT/Z1aZFszzGzSWn99ZeV4SC+
YgCD6NsXKV0+KHPAz5f8RvxqCR39Bbbg7K2Lj7fJIEkBeGtZAiThWMdjLFS7Rmsb
Er7e9Y1XJ3qEU7cEemv37e9PxLYvi8R5DRwDdqZYb07pW4G3ZyJ5IgnaUWppeGcs
LUQ8GOYUF+rH0ojQwjTMRvC5DPhvSuB6JYhOzO45J/r/I/6yEwKmaCDxMvFcwAzy
DZfAU1CFTNJS74yxR7Nz2M91/8ZuHv/aPGB19Uk3Q0yBQNAftDagwuFMrIdA21O1
Tw+KeWCmKZXPYW+aQN1KH+leLpBymL2OinrQ73kIcimI678gXwwDR1JHDr201X1X
9wsqeK3LHt2Dmuko7C/MumgSYos1hK+JM+hXMmOEcmqT1rYdeFhSXszh7VLAAu0B
vE3MKt2R3fCpcfHyKBO9
=450n
-----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/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
