Parents (Total: 33)

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

Key	Value
FileSize	4642410
MD5	47B397FFEB364E71F7DF8B8766D5DA04
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	08B7E042455C67DFB9F560872A880A568C676281
SHA-256	45891B99F33D75BF706B9798B0C5FA843109B03F3047CAADBF71D9E3C0E55151

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

Key	Value
FileSize	725012
MD5	BF86F1CF6A17F3CF3148EC4823995A4F
PackageDescription	HTML Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in HTML format.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	0.87.3-2
SHA-1	185019B238C2EC441FF37D0D6EEA15F25A8B3107
SHA-256	D58C99BB0A5453FECABC7A256CCF7D3D8F0216C1AE2FEA527B1DF15D0C5E423F

Key	Value
FileSize	47976530
MD5	434D37D43894DD581C34EE1E05B9FCBB
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	1F964A81E3AA6EF1B4688E6A4DCE1825EF7915DE
SHA-256	B5D9779065554311B3272A4B67D1E01D53EA3F346D0BC3699F0C2B0312E26CA4

Key	Value
FileSize	4642336
MD5	4E72954A991A64D087D8A509DAF9F00C
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	24470CD59F14D91E299385FA147FDDE179331F0D
SHA-256	706FB0391D3D7FADB05BCBA0EE90385B22F352805EB1B4D77E774A714E9C9F1E

Key	Value
FileSize	5060124
MD5	B630BD2BB074FA89E2BDF20EDD26ADEE
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	2643FFCFCB940C849C9E89876EB5D6A2CF6C77F0
SHA-256	786B6449F9BBAD39E1B30B6A524B99601FCBEA5F0879073B23295CE8FF1F30C8

Key	Value
FileSize	5058594
MD5	A3A0468214E0D213FACBEF0E35B345DB
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	2717C1C28C359B50FC1483AAD965AF070584EC14
SHA-256	76E731B0D9F08FE16CFAF27C6A5F4AFD843E149C6BF93C4ACCA1E487DD0F84E6

Key	Value
FileSize	11259744
MD5	877A800DBD595904E2DD4EFEA7C6B9BD
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	315CA4CBFA0B8D841EE2AB92926AE6ED2EFF046C
SHA-256	EB9BF4E1D699852D58E015A106A1AC250CA8049FE39B63DD2E9C09A6FB015645

Key	Value
FileSize	13064712
MD5	D6E5128D517148F3CF5AD19E3341B15E
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	3C621E2CB4DA8AF347980522DAB59A51FC0C5D64
SHA-256	14896E1A83C392C8F043FE9962D24053426493448CF87833D8C809A46090D5F9

Key	Value
FileSize	5092882
MD5	69E0AB10ECF1C1A2DF990147F5C920C2
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	43121881D49A669415A0B4C9D966355A6AA12F04
SHA-256	421C8053B7135A5A23F7587037F7C84AB6A2F64D584ABDD73DC5101C0109E610