Parents (Total: 3)

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

Key	Value
FileSize	4642506
MD5	77220C848AC5DFD9A19F155F21AB4A45
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	0.87.3-2+b1
SHA-1	F17ACF458C172A6264648BF52108D57706DCC649
SHA-256	5E81B217B6D9E2CAE1427400F14704727E5CEDE1DEEC839BAA0DFB02FA9CEBF2

Key	Value
FileSize	48071384
MD5	F7C96079FD93E198E32E3A692E97B73E
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	0.87.3-2+b1
SHA-1	9F98DFA89D9B3FAA6DFDA84C200782A248DCBFFA
SHA-256	C5119900DAC71D9FA4E5536E0387BB274724801241E5F2B7A46A6E90F7459C2C

Key	Value
FileSize	5058924
MD5	AC334730A4EAE5CBFB945CCEA1C6D43B
PackageDescription	Coq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	0.87.3-2+b1
SHA-1	0CADCD48A27EAA4373E8DE8BA01F847E2832E85B
SHA-256	7012F0C9C2FC6F02B8F0DD0714896AF12C4807C43742A6C08692ACCA741D48FE