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
