Parents (Total: 53)

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

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	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	756824
MD5	D212890A9A3867C9E26ED1FE725790DB
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	17E4B419ED6A0DDE8DEF9EF8ABFE1C57D1C82015
SHA-256	388CAAF9F4C86215A5CD034E143CCC94C1B273DF86CE4F12535F4D96D3CAE411

Key	Value
FileSize	757064
MD5	4D5C91351FE16FFF9884A84B6F4ED922
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	21ACD9E4EB9E6AE08CE80583E7F969996C03F777
SHA-256	CCE21EC6F3FAE475A10AB78BDFAF732891D178E3D103D4F8081F10B8924AE363

Key	Value
FileSize	756832
MD5	8A9FE305D7A146FC4E07E44DC9317954
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	3218ADE334712334879BE6534C53AD81756F0A75
SHA-256	2B3854CC0BFC6A16D966B6855CC7DA20C17D4CFCAAC06DC27B016DC21C2A9746

Key	Value
FileSize	36720980
MD5	7B4582B7605D07A3583350E0D1F06C78
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	3462F6F8590FBF817856E0FEE6519AA743890F48
SHA-256	23B092171CEB3AD555C67D3C70F81FDF565F90B0BA12438AF00274FA80D5F84E

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	39835076
MD5	9B6E9D53F9B3FB7C3B6D7D224E91594E
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	38710E1703012B7F2AA35372868D7498563FB53C
SHA-256	2563D9A6A222E5131E9250EDE17BA01B1F826A397312C34F993A796C002BBDD9

Key	Value
FileSize	87014776
MD5	6C5304E56600C18386ECD94C9C8882FF
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	41EC9B946E45103A0F4F1C74018C0AD4E62F8E35
SHA-256	F33AB4517EF3D3A171EE45C9B49C88B57DB18B700839AD97F9CD9443DAD2E57C