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	9639060
MD5	9283C592BFBA0EEC40FF6EA59167F62B
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	ADB812EEA565252D23D30FA8C3EF67D3A5DAF560
SHA-256	CD887499EE894DE887743F8286A1743B3313C9DF6F1C098B43BD5F09AA553598

Key	Value
FileSize	757156
MD5	48F969EEEE3200F8C97A9B6684D99B3A
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	348AE5BD20EB297430488C79406C3CFD824BD3D8
SHA-256	4F2407545BA50BB651A17BD94CECE374C3B0F2ADCC6DBD72112218612B491742

Key	Value
FileSize	39510716
MD5	B614CAE0B81E632A6BE364F3D14CE9B0
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	76D521F3D37CF3864A9DECFACEDE5E8B9C95A0AC
SHA-256	3F5EFAEB6938CF08A0541563915C5115DB7E6B67F4DDA71E11FE9038CF775954