Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	38996892
MD5	8BBD323348C2C82869EFEF3BFCFBF44A
PackageDescription	Software verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. . Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3
PackageSection	math
PackageVersion	1.3.3-1+b5
SHA-1	A1616E61152B6290A09F6BFEEC6A4444A70CF1D9
SHA-256	569409DA0F7272E4ED2652C6F3883B2220C53B36836EF0C8858D3CC8BA01924E

Key	Value
FileSize	9572888
MD5	8C71CFF0864D315F24D6F4A8AC866F3D
PackageDescription	OCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libwhy3-ocaml-dev
PackageSection	ocaml
PackageVersion	1.3.3-1+b5
SHA-1	7D2E7CC6F5856FDF66647929CF53BECBA76B0B71
SHA-256	6C4A5C66D4F8769A90ABA1E9A7C33C4F9509A5D2107742DF650AE99EA83D4010