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	36232868
MD5	564D720A9D45FC6A05BFDC8E89B99AF0
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+b4
SHA-1	A7255399338734A6B3C749B717A0A3BD2E7ED87C
SHA-256	04E80CB6D5EEE3E8DFEAF2EC3643D7BDD368BA3F9D4F6AD8B0E10C9FDB86B133

Key	Value
FileSize	756948
MD5	99D6800455AA87AF6C2DF0E2B78A996D
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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1+b4
SHA-1	C485C75BB92A91B89C3D3E400E01304659348F93
SHA-256	8FE08D0B135915B3F6F8ED85E984BA2C2922A6C513636505E6B4387DFBF336BF

Key	Value
FileSize	9299680
MD5	F2EE060818291B48573F0D2F579394AA
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+b4
SHA-1	9FA577E64712073F5AFA2AAC052662A9F3B4202E
SHA-256	3DC6DE51B682448CBB2700031065434D6478A57464BA0BBEDE292E783EA211F8