why_2.18.dfsg-1_i386.changes is NEW
(new) libjessie-ocaml-dev_2.18.dfsg-1_i386.deb optional libdevel
Jessie library for code analysis
Jessie library, from Why certification tool, is useful for C code
analysis. It also generates Why code.
(new) libwhy-coq_2.18.dfsg-1_all.deb optional libdevel
Why library for Coq
This package contains Why library for Coq.
(new) why-examples_2.18.dfsg-1_all.deb optional doc
Examples of programs certified with Why
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
why_2.18.dfsg-1.diff.gz
to pool/main/w/why/why_2.18.dfsg-1.diff.gz
why_2.18.dfsg-1.dsc
to pool/main/w/why/why_2.18.dfsg-1.dsc
why_2.18.dfsg-1_i386.deb
to pool/main/w/why/why_2.18.dfsg-1_i386.deb
why_2.18.dfsg.orig.tar.gz
to pool/main/w/why/why_2.18.dfsg.orig.tar.gz
Changes: 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.
Override entries for your package:
why_2.18.dfsg-1.dsc - source math
why_2.18.dfsg-1_i386.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 498713
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: