[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.18.dfsg-3, created. debian/2.18.dfsg-3

Mehdi Dogguy dogguy at pps.jussieu.fr
Fri May 15 17:16:34 UTC 2009


The annotated tag, debian/2.18.dfsg-3 has been created
        at  f721621e937abac3c6239e301bb8a06667940e1a (tag)
   tagging  9d3d6edd9e361f9c6bc12201e15460279dfc43c9 (commit)
  replaces  debian/2.18.dfsg-2
 tagged by  Mehdi Dogguy
        on  Fri May 15 19:14:55 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.18.dfsg-3

Mehdi Dogguy (10):
      UNRELEASED
      Fix erroneous usage of ifdef in debian/rules
      Replace ifndef with ifeq which is less error prone
      why-examples depends on non-versioned libwhy-coq and why
      Make a long description for libwhy-coq, closes: #524054
      Bump standards version to 3.8.1, no changes needed
      Export Jc_ast in jessie library and install cmo and cmx
      Make jc_act and jc_env fit in the pack
      Move libjessie-ocaml-dev to section ocaml
      Prepare to release

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

-- 
why packaging



More information about the Pkg-ocaml-maint-commits mailing list