libjessie-ocaml-dev 2.18.dfsg-5 (amd64 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.