[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.pl4+dfsg-1, created. debian/8.3.pl4+dfsg-1

[Stephane Glondu]

The annotated tag, debian/8.3.pl4+dfsg-1 has been created
        at  df2ab8069ff6712b8a7ba2256a107556d1d38599 (tag)
   tagging  7ea6f0085c0c5ba14e846bad255923e505e7b168 (commit)
  replaces  debian/8.3.pl3+dfsg-2
 tagged by  Stephane Glondu
        on  Tue Mar 27 08:38:10 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.3.pl4+dfsg-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPcWBSAAoJEHhT2k1JiBrTNVAQAJYAyA6okt6Ll2FvSznGmWUO
1ZZMLrDG/2ANmYvdDB8EUvtUFEWwUYJSdx1sXubUjGgOFJJDs0JHZS5oFfTsT5+b
H+ji2xv4QbRjh24pFCzLWO32idc7hYbkhKleoubddYH2434vlu+VYmoPk69tNDsI
Wxx0UQt9IOK+qWmsHJgedshO98WcDwF1bTAnBEdGJjL+v+lumib3YD8X2Ye47+ZL
hJpL0oOT36teNtSLIYKSr4hlkerDU1582PMqz5MMriLoUVyJJODwI6ZJLD/FYVfQ
1kmbHDP5Q4BU8qKPZCofAv5x3zZWDDnBU6z4P5LCFMAUpcM7ALgklWyOm3JqdZYW
g9agYZmL10OHjjZ3DAR5nxPovrzLXkjV3jVPRiK+LH0McVZswtoY+OBAiijw6xJk
uo7dpLz20+ZQl3p8KA3P+XTpNqlOxYvgeNi21JHndFeG/on7iAroSvg7OMe4W0Wp
fzV3rsIkoMC9UCdBbI0vppI/+JRVjVUV4OeAEArFo+mpie8oVBwviUjnYysrbMdV
zGrHsKCQXiFXZbvXGyLFdxRk0Q794bGMC3sS7otpF//g3hL4E685GJw/U3h/hFdL
T+T4Rlo8eqmA0ck1G5M1VWsceMSuvBLjp64kqDzgQz9jJ2sfphlR7IUdLixB/fI9
FFjCuMzJLhmXetMvNsea
=5Ohv
-----END PGP SIGNATURE-----

Stephane Glondu (8):
      Imported Upstream version 8.3.pl4
      Remove non-DFSG contents
      Merge tag 'upstream/8.3.pl4+dfsg'
      New upstream release
      Call dh_install with --fail-missing
      proofgeneral-coq has been dropped in favour of proofgeneral
      Bump Standards-Version to 3.9.3
      Update changelog and prepare upload to unstable

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

-- 
coq packaging