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	362080
MD5	1D1BE699FECEEE601A6F43A63C377D81
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	1.2.0-1
SHA-1	052A7D0328D48237D99EB668B24C6469BF51080F
SHA-256	B99AFD268EFF194BDB1E4C955F3589085A3E24E7E4A99097635A6DBEC149AFBD

Key	Value
FileSize	8555572
MD5	CF9F0513EF4F7B25B75DDF67B506206D
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.2.0-1
SHA-1	0B2D09FEB30E5E48A3E1637FB151998F87389E5A
SHA-256	3D0E95EDD49F18D5DAA40E79A33EDD57302B88270374BF0A586FE44B71235EBD

Key	Value
FileSize	4093272
MD5	D0184156952BCF7CCCC7C982AAECA8B3
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.2.0-1
SHA-1	1D6FF97D62FB6D2E32AA940EC099FEC8288FC784
SHA-256	9A9E431E671013E9FC389E507767F9BD78A254D5856F48D63C9D60A69E822BB9

Key	Value
FileSize	595488
MD5	865D10BB137ECE3ED75792B7613C56CD
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.2.0-1
SHA-1	23BA8FBF7772312867D72C5598F1FA3AD231D789
SHA-256	5F99BE83C27E67535E63F41F3782FCFEDDBF5C892EBC30BFC48754A0C6A4D4F7

Key	Value
FileSize	30713700
MD5	44774DFA7BF72513978E40FA9349B79B
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.2.0-1
SHA-1	2444F8D182898E8D1A4FA71BC78B909D7D0B5327
SHA-256	5ADEE4E4F83AA3009D6657BBD7365784A8DFD80EFD2A9E3B2B388B2B958491CC

Key	Value
FileSize	7831744
MD5	4206BC2A0956B29A6E2B76E01E7014CC
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.2.0-1
SHA-1	282C1E80BBA9FF0CA79AEE7E893ACA2E9E1D40C8
SHA-256	14D4CAA2ADA824343399A45AFDAC14B0A303F666D7D4CCC8A8359BEBFBD63B43

Key	Value
FileSize	596352
MD5	C5423E3ABEABED25A07213263DD689FE
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.2.0-1
SHA-1	325E06A204E7DA872B31A761F69B0888FFB5E106
SHA-256	38EC61BB8F0D7EE5CB98BDBD65CE0F7AC3E05D330C39B99318662B9EB12B1007

Key	Value
FileSize	4093368
MD5	F822C5CE8B25D132979946C234CAF5CC
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.2.0-1
SHA-1	42B83967F0ECBBFAAC81FFF5A1B5A72C09997F85
SHA-256	D2586609630E7B4277140D8DDF6D3D27CD9E9B94596541051B1E75FF6D9D3F78

Key	Value
FileSize	8137464
MD5	CC6EC2E7DE6C252737C0FEFEBC5323EC
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.2.0-1
SHA-1	548B056B9B5F84E01ED7743ACBB2F3A3F46F34F4
SHA-256	CDE17F43851F44302EFA7F9329CBE269D7D7BC2C59AB380E06D1C57226D30BB3

Key	Value
FileSize	601900
MD5	B7923836D6C625E5C1DFCDDC25931A86
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.2.0-1
SHA-1	56E68CFA1170A4C004C5F7862334B5D524F0BA63
SHA-256	F56257F8FABEB9F7EB04FFBE496FDEC6C79BA2B8D8D0BF17D72002CB2FAC93A5