Result for 00627485ADEA8080C7D75F845733494547FB4DDC

Query result

Key Value
FileName./usr/lib/coq/theories/MSets/MSetEqProperties.vo
FileSize240189
MD52FEE3E37C44640C7ECA9583918464EE5
SHA-100627485ADEA8080C7D75F845733494547FB4DDC
SHA-256EDF4E50949EF2464F47445FD07131AB2FA7A26499AEB0D25547E9889AFAA6FCE
SSDEEP6144:s22G1/fvxbqjgqm9YFLuS7oa8jqVESMKuI4EFJlm3aivr:F2G1Pxbq0qm9YFyS58jqqE7Jlm3a+r
TLSHT1AE3406A4E6015B78E89D0C7EF354B1B0D2B10DCE50FE97E68D3992248DC628BE6523C7
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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

Key Value
FileSize21753936
MD56B38F97CCA8DFD5D0114CD481F8D91F4
PackageDescriptionproof assistant for higher-order logic (theories) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.14.0+dfsg-6
SHA-1CA456915E30FC5B32E2600B79048CA9B9D4111C8
SHA-256460C70DF98A9BA0B514822586D577436D2BEC3BCFCC41E2C7F98A1DCB6721630