This is an automated email from the git hooks/post-receive script.
glondu pushed a change to annotated tag debian/8.4pl2dfsg-3
in repository coq.
at 0335228 (tag)
tagging 0ee039503da5752b7bd61d72a2827a1302bd6cc1 (commit)
replaces debian/8.4pl2dfsg-2
tagged by Stephane Glondu
on Fri Nov 22 17:19:59 2013 +0100
- Log -----------------------------------------------------------------
Debian release 8.4pl2dfsg-3
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAABCgAGBQJSj4QvAAoJEHhT2k1JiBrTbDMQAKp3qxJua3fUl18BOXDMM6r0
/S5EYa7/I9Ni2ibNA7BchltiPT4FEIJsmIdOTQt0DgUlhtOeSsD8fOQj4byiXSoA
EapUY+tWNtsNv0RgMCiDAlO8ILubpQebSfTWkFfbzl5cVLZ0P6RrlczjLSDtLxqY
9EAjKBwjy89H1hoKfyIB2uY63uBQr62P9OWEFwVFQra8LLcz6PgYnNxjUuQHR3o9
qX/A8RdfXtOdrE3NgqTD7W4OXSms+9MAtqygjBHMKF+zlTTMTp9Ro4X7IslV1mx7
FId4IxvYmSvxrNENPBzRyfRhx9P97PdlNNCAN6yy+g7sU4WBloK4WBMj9t64hb97
k4jPSNOLt7XTMaVUw0tUn5AW9vXvO3l9oKBZzsPvKahFvn/H9C4DrBTLrIWML3w1
3I2Z5bzoSW34H6H7/nfcNVFa2SInzFJFfHP8v0qyuOGGLTnjMFgwYIejv2QvAW5/
/JbiSGXtRLcrWSH1p+R2VSz/1HIZBzHeN+r1MWTxqAk7mTVatdrL9cRQyP7R/l8Z
yB2c9GsmrZBGjenMn/3ws3mHHmaF8TpIPABx90QYMERYTQozqzP0oyhylsAu1ys3
z9RGBJqSAJmubYBxzR2Tgk/EelXbWfOHCHgMXRam9lQNAweh31AWeJpC8MQ9Mrp2
NO3RE4vQJo48jARa1Ftt
=L7lS
-----END PGP SIGNATURE-----
Stephane Glondu (3):
Refresh patches
Disable micromega tests on Hurd
Update changelog and prepare upload to experimental
-----------------------------------------------------------------------
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.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
