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? <[email protected]>
Maintainer: Debian OCaml Maintainers <[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/why/2.18.dfsg-5
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 <[email protected]>
Changed-By: David MENTR? <[email protected]>
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
--
Karmic-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/karmic-changes
