libjessie-ocaml-dev 2.19+dfsg-2 (i386 binary) in ubuntu lucid

 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.