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

[Stephane Glondu]

The annotated tag, debian/8.2.pl1+dfsg-2 has been created
        at  2c2f5c71a093c88768c00e33ca4690bc9481e7e3 (tag)
   tagging  581c27825b108d2a0ab9ee8e068bde947ede8ddd (commit)
  replaces  debian/8.2.pl1+dfsg-1
 tagged by  Stephane Glondu
        on  Sun Jul 5 13:09:10 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.2.pl1+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEABEDAAYFAkpQidYACgkQBg8odvzgPapTMACgssi/LDh51EVQmEbf9ICnjsFh
h7EAmwbXXuDC2pdmpphKsvrv43h4e7zU
=aXfQ
-----END PGP SIGNATURE-----

Stephane Glondu (1):
      Call coqchk without -silent

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

-- 
coq packaging