Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/Subcategory/Limits.vo |
FileSize | 91321 |
MD5 | 03988ADF79FC5C261638898D344A20BF |
SHA-1 | 00183A42399E27B540099B6874C414DBDBACD8B9 |
SHA-256 | A50CAC31C92C13D5BD2B8BC40564B5D719DD3D070542848B05BFFCEC56F5B848 |
SSDEEP | 384:BF9OjKseDe6Jl+oN1j1xR8yGBHIwzCJxYANlzzYpjA6trWL2dncSRwelIUHPs5Wq:BFRs6Jl+or1xRaBH7GJrzutrWC33DHQz |
TLSH | T16493AA908E619F7DC3AD9B31AE9F860AD3ECC3CAE636091D552BD44D17C764212CA38D |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |
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 |