why 2.29+dfsg-4build1 source package in Ubuntu
Changelog
why (2.29+dfsg-4build1) precise; urgency=low * Rebuild for OCaml 3.12.1. -- Colin Watson <email address hidden> Sat, 19 Nov 2011 18:41:44 +0000
Upload details
- Uploaded by:
- Colin Watson
- Uploaded to:
- Precise
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.29+dfsg.orig.tar.gz | 2.6 MiB | e0b78694c40770ea5632bf086f34446bd02f807d89f9f93c3f0563630d898a73 |
| why_2.29+dfsg-4build1.debian.tar.gz | 9.2 KiB | d9db83bf5e7aa32aa55502bfc9513c1a9197736519cdbfd91865310d002b662c |
| why_2.29+dfsg-4build1.dsc | 2.3 KiB | 73ce8ad1daecbcbb46a24c080e252b4a530725c7bfcb55b9c128b7ad0fc2c756 |
Available diffs
- diff from 2.29+dfsg-4 to 2.29+dfsg-4build1 (306 bytes)
Binary packages built by this source
- libwhy-coq: Why library for Coq
This package contains all useful logical definitions, lemmas with their
proofs and axioms used by Why. Users may need this package when proving
some proof obligations in Coq.
- why: Software verification tool
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-examples: 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.
.
This package contains examples of programs verified using Why.
