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

[Stephane Glondu]

The annotated tag, debian/8.4_beta+dfsg-2 has been created
        at  e207c3ed676f381f0e0f37c80a8a7fadb58488a0 (tag)
   tagging  144b0828b16f2ddde3c34aaccb59a70d8f977fae (commit)
  replaces  debian/8.4_beta+dfsg-1
 tagged by  Stephane Glondu
        on  Sat Jan 14 11:56:27 2012 +0100

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

iQIcBAABCgAGBQJPEV9bAAoJEHhT2k1JiBrTiEkP/0TZvHd7fvsMpu9iAWAtdTyd
y2zMkDX0z+wjsKei+dKyNMkIaC4qCDKn5r12+bgFks9CNJbQjiVhXbvSz5CHP+CM
3XzSDPHYcgDu55pLIXcAu7ebUImfqsLBnBbh7UNg+wFsu4KM/tYQgi8JW/mZi8MN
aQUJ4Z9zl6CwN8NHePHaCjp8Fm2AiEcZ/KDQK/NCCXjjG/+4LqQhOyey7cH2diuI
6qVfe1N2e3neol17DOQe62qcGfAsJhFZ92PxGxKF+UHbDC6A9h6O68J8dSHmnJxH
Za3BhHq+Hl9eRPwgh8CA7ASRAdc+K7Hn8P4dZlrNNXKBKaoFkmntmLkRbPVz0MIL
Af4aTD8h+1lLtQZ6tMH0Q7E6H/s0B45z3ltumY+pvDfqbBgoGzUeLZkCnIRfq+OH
5aDUBKXV6/Vf8lpQOtVdCCqJk8lltYgPvxgPbI0idTAMJx8my9aAEDl4aNG3UBuV
nQIo1ukXF8ISbpgZW9CNxGPMngtXpUXoHw4GleEyERlp9t5xP7reCbAxskDj86Uo
3RcuUqKi302XYI0AzzxMGv8YRsM8zcKdLLc+8aEjPB+UJw3YnSTKMbhsZ1kLGR/l
/U312MFqFm3eijQylkUfXzF0WcibLj6p67g6xr98LkPSn+BIG9+Qg+/RVNWTx1je
JS6Y0AsD+zCJSIrk+VKr
=3XwY
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      Fix typo (shame...)
      Call dh_install with --fail-missing
      Fix an ordering issue that was causing a test to fail in bytecode
      Update changelog and prepare upload to experimental

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

-- 
coq packaging