Result for 000E2827D978AA81A50DA0300CAC649484D25095

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmxs
FileSize9568
MD5DE476818269F4390162F7ED8E4691624
SHA-1000E2827D978AA81A50DA0300CAC649484D25095
SHA-2561DE2AB47C3580C86C4B8D71644EDAD6DD9178292108F710FAC49BAA96E865B8C
SSDEEP96:RsuWkMBWBPpx4HoKCy9CIt1erLvHhHetUB9WCQfiAHhD3jUi2hMS+cyq8utJO:Rc8p74HnChUyzl1QKAZQi2KRc
TLSHT1BB12B90FF659E43ECDBDC3B5846F0270B2B4E8462A624239970432785CA67EC6653AD7
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
FileSize31441296
MD5FFE50B8A98424108DDD6B02D607D874F
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.6-4
SHA-154D389A75B77C01668378529ACFBA9885E970C53
SHA-256BF308EEA0A2AF856D6498AD34818A1D86715D9F57550486872FCD7F9125942A9





metalookup is a service from miwakeru.com