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

[Stephane Glondu]

The annotated tag, debian/8.2.rc2+dfsg-3 has been created
        at  49f1e9610f9842199eae58c4c703f52a4051d235 (tag)
   tagging  8faffcb73f356ac4a3c41ae3356be5fe26244b58 (commit)
  replaces  debian/8.2.rc2+dfsg-2
 tagged by  Stephane Glondu
        on  Sun Feb 8 23:01:25 2009 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.2~rc2+dfsg-3

Stephane Glondu (1):
      Explicit more dependencies for autobuilders

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

-- 
coq packaging