Result for 01C08913DBE620E1E0D9E1827614B28258F73E35

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Pointed/pHomotopy.vo
FileSize59012
MD52F3E49452BA8D7E5AA42664C89BB82AC
SHA-101C08913DBE620E1E0D9E1827614B28258F73E35
SHA-256020946037C1E935B8F0A3CC61093D044B237DFE4233A163077AF1C8200B6DEB7
SSDEEP384:eu3nzHywWbJD/C+uQMkFqFw+C9lwpubrVGCIv8x0UrfAfjhNr1WPE/JJ32zB:VnenbJE5YqFJoQCIv0AfNWc/H2zB
TLSHT1E3433446EE43FBB9C2AD4A71A719C609C36C93CAF667090D151E51DC8AD328B12CB3CD
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
FileSize14083724
MD55433E1000FBB33228BE32192123C5A15
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-11F96EC6A3616E1990732C1ADC02982756783E345
SHA-2562E89F4F78D4582CAE5B5B4409700A5F092F53E3EDF6DE6BF9E40B43773125C8B





metalookup is a service from miwakeru.com