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