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	756832
MD5	8A9FE305D7A146FC4E07E44DC9317954
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+b5
SHA-1	3218ADE334712334879BE6534C53AD81756F0A75
SHA-256	2B3854CC0BFC6A16D966B6855CC7DA20C17D4CFCAAC06DC27B016DC21C2A9746

Key	Value
FileSize	36230780
MD5	8C6A67C746935C47E7DAC73C7500DE74
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	F89D01C8DF9B146FF3E53575DBB2037BA519593B
SHA-256	FF1BDD9EA217AF02EDCA8FE2F2B0E6893DD684DCA1BF8DB70E993B6EA62CE137

Key	Value
FileSize	9304176
MD5	A795B765032E8FFFD4C70E5132EE4091
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	090BA6FCB3A5ADDA11DEA0E500277871350E14F3
SHA-256	9612F3895B9E8E35BC6D033D417B53AC2BBA7C416F8DD598EEA455D4B46895D4