Query result

Key	Value
FileName	./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/Limits/InserterEquivalences.vo
FileSize	438327
MD5	84675D570EEF3C6DA0844512D83F4A24
SHA-1	0044BDC00B644FE2C5BC7B14AB6EF95AB7F680E9
SHA-256	A724ECC3E11DBC1AA372E004C0ADF6D4C3FCCD775EDBBBCDCC74EEC6EB462AD9
SSDEEP	6144:+Khv0Z1tmJ9L9ClPerljfs+hr4MHoPQ22wjdhxAeUmJftg33e:T0TtmnhqQjUMHo92MgOJfd
TLSH	T17C94B5D0D82DF529C76E4A733646FA59F3D8138DF9A2390D2D1B908C4AC115921CAFAF
hashlookup:parent-total	1
hashlookup:trust	55

Network graph view

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
FileSize	40797644
MD5	A12701941D74B7C70A05B18F667A5465
PackageDescription	univalent formalization of mathematics for Coq This package provides a library to formalize a substantial body of mathematics using the univalent point of view. . Coq is a proof assistant for higher-order logic.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	libcoq-unimath
PackageSection	ocaml
PackageVersion	20220816-1+b2
SHA-1	3A145A19E7D058D6D9C989151E4011CB58CA8760
SHA-256	25F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31