Result for 017918E52328D92467D48A9B1A8DEA3FCE6BAF1B

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Basics/Decidable.vo
FileSize28173
MD5219E2D4B700516CA7250C1FAE41AD275
SHA-1017918E52328D92467D48A9B1A8DEA3FCE6BAF1B
SHA-2562313C4B43B9DDCC5D4EF6252B14013EA4060E4C9A478E1EEFD849AE9EA2925BD
SSDEEP384:17pBovrmGOknmm6VKbr6pgET3E7Qgak3QB/Mlo:1dWvr3OD9Kbr6pXS2B/T
TLSHT1A3C2A60DAB425DA5D3AE5E74965E8609C36C93D7A337890B452DC3980AC33D7B18F2CE
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
FileSize14103632
MD516BC99FDFC99F77A957A01E9ECD3AC31
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-13316ECF3093BB8488727D494E53729DA793F9693
SHA-25650FC81BAD147F343C7F30677019D0309EDCA176C4CC0BAD54649B8E1826E4568





metalookup is a service from miwakeru.com