Result for D77A52AF0B1237D1D419F5D4A209DB14D9A985DA

Query result

Key Value
FileName./usr/share/doc/why3/changelog.Debian.mips64el.gz
FileSize230
MD53F97F8627D09C7C8208BAB58032CF039
SHA-1D77A52AF0B1237D1D419F5D4A209DB14D9A985DA
SHA-256AC832CA3EF5BBE983A00C4D9BF34A6EBE747C3D5800033753455486E1C310111
SSDEEP6:XtWU93DuXGgwSOhbCh2mHu60yT1UpYXoOE:XAU9TuXG1SOchBH1HhXoOE
TLSHT190D023B3854E41C9CBB7D1B007040E28332D17C394405B808241FC8334D603CB880338
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
FileSize47971406
MD57BEA5A9F006DBD5B566C0A5EEF712F60
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
PackageVersion0.87.3-2+b1
SHA-1B82A9CF1E42189B4D3D4B9AA45A96B3AA1623368
SHA-2567381F9CEF9CFF32E8BA0AE0A1F3FB9971A4F9253B40EBABF418CFFE4F6F4090C
Key Value
FileSize5060896
MD55422F41057E31EDAA4BE694559654D68
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, as well as the why3 tactic for coq.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-coq
PackageSectionmath
PackageVersion0.87.3-2+b1
SHA-1F9304247EA2F1A9E35D56A23132A5A5D856F815B
SHA-256A9001180FCF89513815E714BCB63EEB7C13E225B100EF4C887590FABDD1006EC
Key Value
FileSize4641836
MD5B07A5782EE2D53033E50D91FAF28A0CA
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
PackageVersion0.87.3-2+b1
SHA-1FC9A000F71A96DFDB479E693D777DBF396A06444
SHA-25674A61BA9DB9C2A513CFFA5F44B6E9F0E5F4F21DD3AA3D2909CAA6ECECA840E44