[Pkg-ocaml-maint-commits] [SCM] apron packaging annotated tag, debian/0.9.10-4, created. debian/0.9.10-4

[Samuel Mimram]

The annotated tag, debian/0.9.10-4 has been created
        at  898d3726c2d0d3d85e20fb586b79e87c9838c008 (tag)
   tagging  e0e3e25a7f95d5782d0f5ce60b4434f4a9f31c86 (commit)
  replaces  debian/0.9.10-3
 tagged by  Samuel Mimram
        on  Sun Jan 17 18:11:48 2010 +0100

- Shortlog ------------------------------------------------------------
Debian release 0.9.10-4

Mehdi Dogguy (2):
      Remove non-needed Provides for libapron-dev
      Version the build dependency on quilt: >= 0.46-7

Samuel Mimram (5):
      Patch in order to resolve symbols.
      Finalize the link patch.
      Fix nonopt patch to build gmp.cmxa.
      Added oct_static patch in order to install oct*.a.
      Uploading.

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

-- 
apron packaging