Result for 011D18E8BFE4F9D5DB552E935200F404411F6A4D

Query result

Key Value
FileName./usr/lib/coq/theories/Numbers/NatInt/NZBase.vo
FileSize12648
MD5DB3958A7E138AA15CB0999C7128B901A
SHA-1011D18E8BFE4F9D5DB552E935200F404411F6A4D
SHA-2567D7FF3F3F6095BBCCFB424DAF40C88392EFDFF79257BB9AA62BE87881ABED668
SSDEEP384:05IWVRZMoIsoI1TBxt2nYVhQPTaq96k6DKI66o:sDVRZMDTWBxtHLQbaq96kWKI66o
TLSHT16A42C74A4063C643F4E251B4F778752150B84DDB026EAB4E9A38615CE7CDE8F0AE376B
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
FileSize23916828
MD5E0A31C05DB4A85257FE0E0B53AC4903D
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.12.0-3+b2
SHA-16643F28AC6F1C66E7D6CC0A11B45D04F24A234B1
SHA-256D655C538ADBFC8CF92245EFC1E18AC8A59B6DAC92C54CB950C9E94A165EF6E82
Key Value
FileSize23914852
MD5321527C2B1256F104792A1D4F30A1AE4
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.12.0-3+b3
SHA-146D6F9D897B7C724368EFE35FC81A57243D57B65
SHA-256D25340DBB91EC828BA6A71546630A7738F8131084502FB39B786DCF6C715D657
Key Value
FileSize23913512
MD5BB9006D39AF878892BCB32C9FD16B2A7
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.12.0-3+b3
SHA-15D4DC9BF2112F606A3AAB303ADA1C99FACC4BC27
SHA-256C856E3EF2BF9EE0EF5AA265788853D7A5296DD829E950289C175DD12535C6A9B