Result for 00183A42399E27B540099B6874C414DBDBACD8B9

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Subcategory/Limits.vo
FileSize91321
MD503988ADF79FC5C261638898D344A20BF
SHA-100183A42399E27B540099B6874C414DBDBACD8B9
SHA-256A50CAC31C92C13D5BD2B8BC40564B5D719DD3D070542848B05BFFCEC56F5B848
SSDEEP384:BF9OjKseDe6Jl+oN1j1xR8yGBHIwzCJxYANlzzYpjA6trWL2dncSRwelIUHPs5Wq:BFRs6Jl+or1xRaBH7GJrzutrWC33DHQz
TLSHT16493AA908E619F7DC3AD9B31AE9F860AD3ECC3CAE636091D552BD44D17C764212CA38D
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
FileSize40797644
MD5A12701941D74B7C70A05B18F667A5465
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-1+b2
SHA-13A145A19E7D058D6D9C989151E4011CB58CA8760
SHA-25625F76531726F526791EC4599FE7015E16C7F560C72665720261BFC3F262ABA31