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

Samuel Mimram samuel.mimram at ens-lyon.org
Sun Oct 25 18:32:11 UTC 2009


The annotated tag, debian/0.9.10-1 has been created
        at  694afcde48dd3e0391be5504cbf342c0937b71a7 (tag)
   tagging  f125fdc80a2aa0b1af969812f30b8e2a3d84baa7 (commit)
  replaces  upstream/0.9.10
 tagged by  Samuel Mimram
        on  Sun Oct 25 19:32:07 2009 +0100

- Shortlog ------------------------------------------------------------
Debian release 0.9.10-1

Samuel Mimram (21):
      Started packaging APRON...
      Correct typo.
      Enhance copyright.
      Correct sections and dependencies.
      Remove rpath.
      Remove log file...
      Use quilt.
      Add patches for removing rpath and defining sonames.
      Correct implementation of sonames.
      Add a README.source to mention quilt usage.
      Override lintian warning for package name.
      Minor polishing.
      Install examples.
      Close the ITP bug.
      Refresh copyright.
      Build and install documentation.
      Don't ship debug .so.
      Don't compress C and ML doc files.
      Install mlgmpidl.
      Typo.
      Add Bertrand Jeannet as upstream maintainer.

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

-- 
apron packaging



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