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	757328
MD5	B8E2CF3A3CA6CFE0956B85078A4210E4
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	5A06D08831C36D8C7CAF7FB06A471D9C8987ECF1
SHA-256	703AACC0399D36D58F5DA173B70C6108D5642D55EC55228DA20728A42239BEAC

Key	Value
FileSize	47066368
MD5	9E03E13828B088B1FB412466CA9A570E
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	65482C468EADD220C638D7B5092B47DFE62BD5D0
SHA-256	E6AB1DD61488A0A8AF7E37922E97F7FDA32EBFA9503E2E03AF9EAA68ED2CAFEC

Key	Value
FileSize	10066352
MD5	D67A9D32DDD79CDB300E05DD7E792F53
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	7A05EA8F9915F0070915F317EAF988E5078E5E02
SHA-256	F959613B9FEE7AC31CF1BBAAB7016E0D4BDF8F9A09CDC93E0F2EADB8565E288A