The annotated tag, debian/2.30+dfsg-5 has been created
        at  21b447eca5804abbddeba516e8a207a350966b28 (tag)
   tagging  d92fa364e74302da799008647bec22fff16d6351 (commit)
  replaces  debian/2.30+dfsg-4
 tagged by  Mehdi Dogguy
        on  Wed May 16 12:46:45 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.30+dfsg-5

Mehdi Dogguy (2):
      Mark Coq 8.3pl4 as compatible.
      Bump Standards-Version to 3.9.3, no changes required.


why packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to