Result for 005CA718A10B9518F412D841FC15BA9731AE15CE

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.o
FileSize145280
MD55EE5DED73BABF9D5E5E14372809F531B
SHA-1005CA718A10B9518F412D841FC15BA9731AE15CE
SHA-2568CBD8EEEB1A660DB9C4C849ABA5CDE97479E0911BF4EB9AAEFA2E74579B635A7
SSDEEP3072:D0yfv0+vcq1McssOfOi0oibe34H48O5j+aDLWiuPE5:D0yfv0+vcq1McssOfOi0oibe34H48O5a
TLSHT137E3BB0B79E79D2EC245CB710076626266AAFC68DE123F273E553B0E4F31E898F75124
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
FileSize33323634
MD58221FED5FA89688FE2FA2C724216B02B
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.6-4build3
SHA-10404BEB9E0EFE946BA2A8E6CE5B2AA74E0D8F75B
SHA-25605E54203580359D358EC964B20F29688C322AF4113EEFDA289BE9DECFCB80E4A





metalookup is a service from miwakeru.com