Result for 019E80AFAD75CBDD3CC99D348EBE579E8C4770CB

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Types/Sigma.vo
FileSize220286
MD592BF9203F36005BD198F2445C9FE0C2E
SHA-1019E80AFAD75CBDD3CC99D348EBE579E8C4770CB
SHA-256D81276DBCBC7402CD65B0A5CCBAB24EB25F24A6788BAAFF083534308EA4FA5E5
SSDEEP1536:38OjMgzWYRQZ7mAa2+S86om/gJ/fw17LJUeqbFXkq8ohwgq:3TJ5RE7mZ+Sfw17L7csgwgq
TLSHT104242146EF42DB7DC2AC4F74EB5B470AC368D3CAA7270A0D255E91581AC724626CB3CD
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
FileSize14075456
MD5D3A5ED2890EE7E96116F707633F64E42
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-1A9C784514F2559F3868711BBE9D18A6E98EF073E
SHA-256733BB8E2BF5C6CB447FFD5B4C622105E2E394685AE869D346E6E4CD36EE1573F