Publishing details

Removed from disk on 2016-10-31.
Removal requested on 2016-10-26.
Published on 2010-03-22

Changelog

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
 -- St?phane Glondu <email address hidden>   Mon,  22 Mar 2010 19:20:57 +0000

Available diffs

diff from 2.19+dfsg-2 to 2.23+dfsg-2 (861.4 KiB)

Builds

Package files

libwhy-coq_2.23+dfsg-2_all.deb (400.8 KiB)
why-examples_2.23+dfsg-2_all.deb (180.3 KiB)
why_2.23+dfsg-2.diff.gz (9.1 KiB)
why_2.23+dfsg-2.dsc (2.1 KiB)
why_2.23+dfsg-2_amd64.deb (8.6 MiB)
why_2.23+dfsg-2_i386.deb (6.9 MiB)
why_2.23+dfsg-2_ia64.deb (14.2 MiB)
why_2.23+dfsg-2_powerpc.deb (8.3 MiB)
why_2.23+dfsg-2_sparc.deb (8.2 MiB)
why_2.23+dfsg.orig.tar.gz (2.4 MiB)