[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.4dfsg-2, created. debian/8.4dfsg-2

[Stephane Glondu]

The annotated tag, debian/8.4dfsg-2 has been created
        at  519e69e964cd43c802ffcecbea67caf751a3903f (tag)
   tagging  eabf57d06ca1eafa762d7f31262e5515401eff55 (commit)
  replaces  debian/8.4dfsg-1
 tagged by  Stephane Glondu
        on  Sat Sep 22 13:23:10 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.4dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJQXZ+eAAoJEHhT2k1JiBrTZ2AP/jeV5xNynR0bmPixM2JiBkEE
GkLMcAoEPiEo1fa1+vXmt7w+h0rDe7Y+ssOMWaAEEISKLs9f75WxESkFOEYbYcEP
5WV5cnzQNB49ENMie7NLs0n/NM8pYaiI2LvfhZLK7PI83P/KWv+0H4zDAoAxFjPF
iVD2AabVUvy5X+lPUAPGkZ6ndvw2diDfPH9yz87ItIuA3w2b0vpLy6KfAbwP/iXt
YWDc83Cd4KksAFdEIRrePxKQmPZbEbOeqEIXIdyNc7XJDaj/UEHKBcHSXN+dRIX5
eyvSY/5BeZru/K7TkH4fnMjZnkiv5ojPDUMv5Z4kf7vEbN+MnQ3Hy45mAmvJfWj+
j1vE660jTzrELjVCuG6QodCobmKfBtg7PfkgUZ1jchasVlc6GlAn16PgsThY+gL/
OWJm8yP0G8uYb6E91xTocRS4LmjlYRdEgHUYBHdtjvbT+cktypL6jdHRr0jY6R6n
/Qy9ZIj0JAcHj8m6Nkzj8l1eBDekDBv49ulXfs/hVFSHcqLLRNRINbUSEXcJy9St
z8ilTNbVXN0+JsyMgHamMP8aQ/e5K0QFncLm1LURlOi5oJxaezG7hAQ4aP+unNhF
ulbPYtVmUdgEsoAshRhItCsSvmk6m777JxrCov0I1MLu+2h/cTSOYIublyucMhq3
8JyhMtQ1BUZ+m4RA9O/v
=92B1
-----END PGP SIGNATURE-----

Stephane Glondu (2):
      Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output
      Update changelog and prepare upload to experimental

-----------------------------------------------------------------------

-- 
coq packaging