Result for 6C5DC9E84A5ED068E96ADE77455DA2212BFF2B7D

Query result

Key Value
FileName./usr/share/doc/why3/changelog.Debian.armel.gz
FileSize219
MD5F4D3648A1B713D9978983A9EC29BE523
SHA-16C5DC9E84A5ED068E96ADE77455DA2212BFF2B7D
SHA-2562E0A89D5B9374CB02145F91C18967B328832BA9AFEC395B4D82C461E2EA22A9B
SSDEEP6:XtBuc0GtYqqqyNyWt/IhIBi+tkJDammckEQ0xql:XRGqAyWt/I7+I2Em
TLSHT1D6D0237E41D95075E20555F49035141CF36C403C91F44F44489C1912689DD30AD5147D
hashlookup:parent-total3
hashlookup:trust65

Network graph view

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
FileSize86941616
MD5A78A55192D5696E13D4CBA53189E3FB9
PackageDescriptionSoftware 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3
PackageSectionmath
PackageVersion1.3.3-1+b4
SHA-15F0E5111CEB90B168715FC56F187E96CA869EE28
SHA-25659D47115F4D112706001FD1D3D5AEDBD33A05F160FAD93C64B78344B4443174C
Key Value
FileSize756692
MD52FDDD7A8F95219F66A8E5B201C6BAFCB
PackageDescriptionCoq 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-coq
PackageSectionmath
PackageVersion1.3.3-1+b4
SHA-19D4089B9721D6E9687970F4F35832D90F04C5C00
SHA-256BD9B1380129415FC5B53118788BF54CFB857E1677B5007437F109575453ECDE2
Key Value
FileSize5395904
MD50747141F8DE4B132496D765C9E42439C
PackageDescriptionOCaml librariries for why3 (dev) This package contains the libraries of the why3 verification platform for developing applications using why3.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibwhy3-ocaml-dev
PackageSectionocaml
PackageVersion1.3.3-1+b4
SHA-1F3CEF330EE1B323207EFC4A7915D83613002809B
SHA-2564907FBFFE3A853FF52687DA78E0F62D627DEBA8886D45EEB0D96EED6CE92682F