[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.4pl2dfsg-3 created (now 0335228)

[Stéphane Glondu]

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