Result for 0073447C159DEA007FF4C6DCABAEAD5FDE7BE888

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Cantor.vo
FileSize10659
MD5AF6100CDCCA84D1EC3379174AA75BF07
SHA-10073447C159DEA007FF4C6DCABAEAD5FDE7BE888
SHA-256E5BBBDACB7A695EAD62A9D3ABFE1CF203D2C102F44007FA9014B2556A6848B8B
SSDEEP96:GLnF0Zp3E8U/B25DedOY9bR0ytMvEB/mvGhC6r9LPYlbY8xXJJMGSikns6HPBfTY:GLnFsEAV/YxMcB/LCC9LPYlb1R1SXVC
TLSHT13422224DB65559F5C7E93AB0D76A8216E32C83DB8A339D0A110ED39D0EC22C956CB34E
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
FileSize14085092
MD578191B172F650C948C0091623FC9D8F3
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+b2
SHA-1C09BD85C067F9BA1DDD779019165DFE3B148E226
SHA-256C85A68F9F0E699A9040C04FBFF3869BD6D7E614A4D778217B9E41E8D8E891D0D