[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.23+dfsg-1, updated. debian/2.23+dfsg-1

[Mehdi Dogguy]

The annotated tag, debian/2.23+dfsg-1 has been updated
        to  4ab6b46cd20e325fe0cfdc7eec75ce8e38844697 (tag)
      from  f3e3b37d94aa89422fd8c748acae4c0140e2e50a (which is now obsolete)
   tagging  3de1ee272b75fef235b8f5b7161b543a74e4e0e6 (commit)
  replaces  debian/2.19+dfsg-2
 tagged by  Mehdi Dogguy
        on  Sun Jan 24 23:52:53 2010 +0100

- Shortlog ------------------------------------------------------------
Debian release 2.23+dfsg-1

Mehdi Dogguy (27):
      Fix detection of Alt-Ergo (Closes: #552776).
      Set filter-pristine-tar to True in debian/gbp.conf
      Filter out ocamlgraph sources from the tarball
      Imported Upstream version 2.23+dfsg
      Merge commit 'upstream/2.23+dfsg'
      New upstream release
      Update copyright file
      Various changes
      Disable logopath patch
      Refresh packaging
      jessie-removal
      Remove useless files
      Merge branch 'upstream'
      Remove no longer needed cleaning
      Add 0001-Do-not-run-tests-on-non-existant-files.patch
      It's callded frama-c-base, for now
      Release to unstable
      Fix various lintian warnings
      Add camlidl to Build-depends
      Don't install the Jessie library
      Rename patch
      Fix some spelling errors
      Make apron detection work also on bytecode architectures
      Use tools make_float_model.ocamlbest instead of opt version
      Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
      Generate Jessie.cma
      Add ${ocaml:Depends} in Why's Depends field

Samuel Mimram (1):
      Enable apron support.

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

-- 
why packaging