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