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
_______________________________________________
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
