This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/0.4-3 in repository aac-tactics.
at b3504ba (tag) tagging d7d98d1081579e85648d72de70e8900253147606 (commit) replaces debian/0.4-2 tagged by Stephane Glondu on Wed Jul 30 11:09:41 2014 +0200 - Log ----------------------------------------------------------------- Debian release 0.4-3 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCgAGBQJT2LZVAAoJEHhT2k1JiBrTmcUP/iDuEfnhT0q/w5I06GAnpdOe K3wtIlt2XUjVlmUz7sPy9NuQ9LLShq35nk99esxpyh5vTROPMFsF4yWwYF5IhKuZ 7FslYoCGK0Zp8MQQ6ZLX5XyEnVj635BpNpGvAOtfhjzFTSGImtUr3mgqqEvUMBr9 1MNj6m3mfccW+w/k0+v+HU67affiO1lWuQDoAmVbXCfEsTNeGUlXMU4MxkhviR3U xj4YVOR188jaVLWBX+iadsKT0S0TYxbuSZMXPcYSwoBJG3Rw22To2s7JLu1Lo9yy p/OL/xQnpAwSxur0Su1fcdby1kp928Zj6T0jpr4pS2F5a6z3WaJ2LLZkqW05n5nW N4mHSbp6h4T5F6JJm/McYoAHif9yww4mIIhyA+3GJjK+Ub8RJyqmdx40qqQ4zWIw AAVw1ec6ZQs8G8Qyv9DySptfQZwOrSTPkQLjA/Nx+iaK8c5aqXyNXTzntGpCRh+T HfU/DBlRstaBR7p9yKgN7dIy03Rf8/dD6FxPeM8VuCUX/BuiyCZjoxp4+ydHM2f9 hRzRg6MC3L5ekOtGehxWWWD0V8AHhzjIsh60iVmwpaCnqxq5EE3ZPCC95GTWdW9g yoCv8+ylimEy0x8gyNb8eU7C3Ml+2Ft09xieZF3x2YvBjWQwGhssFhwIixHs7awL IhmSO+4n6/WpbsQlIXn0 =6/m0 -----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/aac-tactics.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