Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/DisplayedBicats/Examples/Codomain.glob |
FileSize | 235057 |
MD5 | EDD7AF45DE25D3624DD3CC63498A32FE |
SHA-1 | 018032F79B6D63ABCDAF4D2ACA182258B10BB154 |
SHA-256 | 58A61F1AB29D811DCADF7B4367DADA0A88739DD740C610B4AD315255519D3D63 |
SSDEEP | 768:Ns5qE8tOONffXBRR1exkT0VgzegI8GtJNnyFNowlgwlMtHYNNwpJCzUwMJZni2zS:25qbpBP1exDlg3FNo7Jzclbbh |
TLSH | T1CD348BFED22E2C2D66AA73F52BE407DF7E1CA1D36B471AB84C278D4C04480C529EE565 |
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 | 31167776 |
MD5 | F3F7497291D730AD40FD93D892290FB2 |
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 | 20220204-1+b1 |
SHA-1 | 050F30CDB768E9DE07302306AA58D2D8B761DAF3 |
SHA-256 | D75699F9957E9B9D1B3D00927684E10DEE6B102EB1A61CF5961F3EC540EA4B02 |