Result for 08A3AB474C7876655EB97ED185FCF9748D0175BC

Query result

Key Value
FileName./usr/share/doc/why/examples-c/schorr-waite/coq/caduceus_spec_why.v
FileSize1613
MD53217DFD0C433DA106B3608C1421700CF
SHA-108A3AB474C7876655EB97ED185FCF9748D0175BC
SHA-256F0BD776938CC89F10A6C97D9CA5C17C570169B95A80F5C74EB7614B061D24681
SSDEEP48:+FTQO4JH4oyd8F4kBepm4i9KepiP/rmxvJBJ3kPQm4:CQOSHGGRBe29KeMLmxbyPK
TLSHT12831065D85AFAC3B56B2C0B77920F082853BCC12FAA6692115C181CC67CB2F5E96EF11
hashlookup:parent-total2
hashlookup:trust60

Network graph view

Parents (Total: 2)

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

Key Value
FileSize126536
MD58A33BEA56A1FA70DB21BA07721B3C888
PackageDescriptionExamples of programs certified with Why Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. . This package contains examples of programs verified using Why.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy-examples
PackageSectiondoc
PackageVersion2.34-4ubuntu4
SHA-16F16A84170FC098211AF362FFC81B491E8CCB871
SHA-256265497DCB57566FBEFB1079745D6DF190811488183836F9E797DC24336EB0B25
Key Value
FileSize143132
MD5A322B7AE74C5DA401086CAC1CA7CC631
PackageDescriptionExamples of programs certified with Why Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey. . This package contains examples of programs verified using Why.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy-examples
PackageSectiondoc
PackageVersion2.34-2
SHA-1F36FE24E26814C41DC0C12310454D99C29C6B10E
SHA-2560A261D23F7C3A8A9304ABE05D035B28F46E496829CEB5B2373D39271CBF286E3