Parents (Total: 104)

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

Key	Value
FileSize	9591268
MD5	AC2C3EBE0CE47F95563D77EBEA318EA5
PackageDescription	OCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	libwhy3-ocaml-dev
PackageSection	ocaml
PackageVersion	1.3.3-1build5
SHA-1	025B2766906CCE1F11BB3BD3C1BC7D7A6BCE19DA
SHA-256	CF76952922CF19973ADAF8F8483E88E7D6677560CB80AF6729441BA4BDD2120E

Key	Value
FileSize	47077508
MD5	7C00B7F6942B5D2F04B30BADE25436BE
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	02A48CD3CEB2B9A0CFF9D42EAFEBD4993D8250DE
SHA-256	27E20E5BED7A300922AE53B657AD4BA0B65B7B33FC2B8AE3FD00E8958C56B6E6

Key	Value
FileSize	740836
MD5	3E7C6D4F98038B17304535EF2535CC1F
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-coq
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	04AC0BD933AD806DFAD30B1A4E455A2909BDA24D
SHA-256	9C194C7AB13133A7160B77D304786B6593762FDD74A06B87C0728B32BA0A2B1F

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	1041216
MD5	17D2153F5A3D52A173F2DF9E9D38FC23
PackageDescription	PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-pdf
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	062F137C7163DF2D37CCF914994FC8E735E0C302
SHA-256	D453AD03DAF4069902CFA3C03AEFB70E69CA044F2BC1D0881AA62F9C5DCE5923

Key	Value
FileSize	3477596
MD5	C6FAAE3CCA8F5049BBA2D7A91A187F9A
PackageDescription	Examples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-examples
PackageSection	math
PackageVersion	1.3.3-1build1
SHA-1	08B584769D2014E3B6101EC80FEE6413846056DD
SHA-256	E16FA216CA1DF1E16EA77F47813F7A4E9FBFAADE5928BE52FB2342644854180A

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

Key	Value
FileSize	5395852
MD5	C5C9E0EB73F0F3CC32DC4F252E70488E
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	09F850A1FEC00A3E73FCB501AD07BB7C4D839001
SHA-256	E43F146B4155FC1C00F20BA5356B50971B4ACDA8A57E3F38BF7B336A687E5561

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	687208
MD5	DD574A5B1C3794835AA9806890EF09CE
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	why3-doc-html
PackageSection	math
PackageVersion	1.3.3-1build5
SHA-1	13671A2A8117E47EC3455E9AD8429AE1B3364FFF
SHA-256	3F15DDB0EF5646A3E66FB73A6B41F333B5D77AB42CED904B6AF51CD7061B4395