[ubuntu/lucid] why 2.23+dfsg-2 (Accepted)

[Ubuntu Installer]

why (2.23+dfsg-2) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Correctly detect Coq-float wrt. its new path
    - Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch

why (2.23+dfsg-1) unstable; urgency=low

  [ Mehdi Dogguy ]
  * New upstream release
    + Remove makefile.in.dpatch (fixed upstream)
    + Remove jessie_lib.dpatch (not needed anymore)
    + Needs ocamlgraph 1.3
    + Fixes detection of Alt-Ergo (Closes: #552776).
  * Refresh packaging
    + Use dh 7 features
    + Build-depend on quilt (goodbye dpatch!)
    + Add ${ocaml:Depends} in Why's Depends field
    + Add 0001-Do-not-run-tests-on-non-existant-files.patch
  * Fix some spelling errors
    + Add 0003-Fix-spelling-errors.patch
  * Fix FTBFS on bytecode architectures
    + Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
    + Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
    + Generate Jessie.cma
  * Fix debhelper-but-no-misc-depends
  * Fix out-of-date-standards-version
  * Set filter-pristine-tar to True in debian/gbp.conf
  * Remove libjessie-ocaml-dev which is no longer user by Frama-C and
    don't install the Jessie library.
  * Update copyright file
  * Add camlidl to Build-depends: needed to enable Arpon support

  [ Samuel Mimram ]
  * Enable apron support.
    + Add 0002-Enable-Apron-support.patch

Date: Mon,  22 Mar 2010 19:20:57 +0000
Changed-By: St?phane Glondu <glondu at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/why/2.23+dfsg-2
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Mon,  22 Mar 2010 19:20:57 +0000
Source: why
Binary: why, why-examples, libwhy-coq
Architecture: source
Version: 2.23+dfsg-2
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: St?phane Glondu <glondu at debian.org>
Description: 
 why        - A software verification tool
Closes: 552776
Changes: 
 why (2.23+dfsg-2) unstable; urgency=low
 .
   * Rebuild with OCaml 3.11.2
   * Correctly detect Coq-float wrt. its new path
     - Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch
 .
 why (2.23+dfsg-1) unstable; urgency=low
 .
   [ Mehdi Dogguy ]
   * New upstream release
     + Remove makefile.in.dpatch (fixed upstream)
     + Remove jessie_lib.dpatch (not needed anymore)
     + Needs ocamlgraph 1.3
     + Fixes detection of Alt-Ergo (Closes: #552776).
   * Refresh packaging
     + Use dh 7 features
     + Build-depend on quilt (goodbye dpatch!)
     + Add ${ocaml:Depends} in Why's Depends field
     + Add 0001-Do-not-run-tests-on-non-existant-files.patch
   * Fix some spelling errors
     + Add 0003-Fix-spelling-errors.patch
   * Fix FTBFS on bytecode architectures
     + Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
     + Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
     + Generate Jessie.cma
   * Fix debhelper-but-no-misc-depends
   * Fix out-of-date-standards-version
   * Set filter-pristine-tar to True in debian/gbp.conf
   * Remove libjessie-ocaml-dev which is no longer user by Frama-C and
     don't install the Jessie library.
   * Update copyright file
   * Add camlidl to Build-depends: needed to enable Arpon support
 .
   [ Samuel Mimram ]
   * Enable apron support.
     + Add 0002-Enable-Apron-support.patch
Files: 
 bf3ae187ee707e9841414fca56d08096 2492649 math optional why_2.23+dfsg.orig.tar.gz
 053a94c522c1b4b665992cd694d01cca 2185 math optional why_2.23+dfsg-2.dsc
 12b586eea3416ca9ddc93a2a8c05c078 9338 math optional why_2.23+dfsg-2.diff.gz