libjessie-ocaml-dev 2.18.dfsg-5 (powerpc binary) in ubuntu karmic
Jessie library, from Why certification tool, is useful for deductive
verification. It is based on weakest precondition computation techniques
and allows to prove that C functions satisfy their specification.
Details
- Package version:
- 2.18.dfsg-5
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
powerpc build of why 2.18.dfsg-5 in ubuntu karmic RELEASE produced
these files:
- libjessie-ocaml-dev_2.18.dfsg-5_powerpc.deb (718.9 KiB)
Package relationships
- Depends on:
- ocaml-nox-3.11.1