[ubuntu/karmic] why 2.18.dfsg-5 (Accepted)

[Ubuntu Installer]

why (2.18.dfsg-5) unstable; urgency=low

  * Rebuild against latest Coq package, Closes: #536104.
    - why suggests libwhy-coq (= ${source:Version})
  * Bump standards to 3.8.2
  * Tighten build-depends to ease OCaml 3.11.1 transition

Date: Sat,  15 Aug 2009 15:13:41 +0100
Changed-By: David MENTR? <dmentre at linux-france.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/why/2.18.dfsg-5
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Sat,  15 Aug 2009 15:13:41 +0100
Source: why
Binary: why, why-examples, libjessie-ocaml-dev, libwhy-coq
Architecture: source
Version: 2.18.dfsg-5
Distribution: karmic
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: David MENTR? <dmentre at linux-france.org>
Description: 
 why        - A software verification tool
Closes: 536104
Changes: 
 why (2.18.dfsg-5) unstable; urgency=low
 .
   * Rebuild against latest Coq package, Closes: #536104.
     - why suggests libwhy-coq (= ${source:Version})
   * Bump standards to 3.8.2
   * Tighten build-depends to ease OCaml 3.11.1 transition
Files: 
 4060e7109657a0f43f40aceb127d1ed6 1481 math optional why_2.18.dfsg-5.dsc
 47ace5e1cb86849796a64aad2900994c 7873 math optional why_2.18.dfsg-5.diff.gz