Result for 0011B524BB97D104DAB9CD6B789D8AE6083EBE29

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Combinatorics/FiniteSequences.vo
FileSize123583
MD5694F7BD652C6B78D364CDCD07A9CA614
SHA-10011B524BB97D104DAB9CD6B789D8AE6083EBE29
SHA-2565216225031D30DF97155F385304F32228DDE31314C4FA1B617919C36E1FEED31
SSDEEP1536:0l2LvNXdBIGR8NLf3bmYHCFZ3DUhi1L4Z2fza/rEn8iABAW6:DVSNpHCnD4i+yC48ZBf6
TLSHT11DC3E7599B66AE32C79E0E75D75D830AD32C83CEE3730606552BC1A85FC325365CB28E
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
FileSize40782708
MD55D85CE720AC6483A3FC9DE8F9A5F9106
PackageDescriptionunivalent 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-unimath
PackageSectionocaml
PackageVersion20220816-2+b1
SHA-1342FC0C073E1EACED9C86D270E99E2F4AE979ACB
SHA-256CC9D12700BA975BE193F206160B921205FDF90CD4E0D3E93C6102CEA08B72F28





metalookup is a service from miwakeru.com