Changelog
why (2.18.dfsg-2) unstable; urgency=low
* libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440.
* why now depends on libwhy-coq (= ${binary:Version}) and why-examples
on why (= ${binary:Version}).
why (2.18.dfsg-1) unstable; urgency=low
[ Mehdi Dogguy ]
* New upstream release.
* New binary packages:
+ libjessie-ocaml-dev:
- Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
- Install jc.cmi
- Add a META file for Jessie library
+ why-examples:
- why-examples recommends why
+ libwhy-coq:
- Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
* debian/rules:
+ do not compress .v,.sx,.why files
+ Use debhelper 7
+ Move logo in /usr/share/why (using logopath.dpatch)
+ Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
* debian/control:
+ Bump standards version to 3.8.0, no changes needed.
+ Why recommends alt-ergo and suggest libwhy-coq.
+ Add missing runtime dependency for why (on non-native-architecures).
+ Change vcs-* fields to point to Git repository
+ Depend on coq-${F:CoqABI} instead of Coq
+ Add DMUA flag with Sam's blessing
+ Remove not needed build dependency: ocamlweb
* Add patch descriptions to configure.dpatch and logopath.dpatch
[ Samuel Mimram ]
* Use predefined variables from ocamlvars.mk and coqvars.mk.
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 29 Apr 2009 12:15:56 +0100
