Result for 018032F79B6D63ABCDAF4D2ACA182258B10BB154

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/DisplayedBicats/Examples/Codomain.glob
FileSize235057
MD5EDD7AF45DE25D3624DD3CC63498A32FE
SHA-1018032F79B6D63ABCDAF4D2ACA182258B10BB154
SHA-25658A61F1AB29D811DCADF7B4367DADA0A88739DD740C610B4AD315255519D3D63
SSDEEP768:Ns5qE8tOONffXBRR1exkT0VgzegI8GtJNnyFNowlgwlMtHYNNwpJCzUwMJZni2zS:25qbpBP1exDlg3FNo7Jzclbbh
TLSHT1CD348BFED22E2C2D66AA73F52BE407DF7E1CA1D36B471AB84C278D4C04480C529EE565
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
FileSize31167776
MD5F3F7497291D730AD40FD93D892290FB2
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
PackageVersion20220204-1+b1
SHA-1050F30CDB768E9DE07302306AA58D2D8B761DAF3
SHA-256D75699F9957E9B9D1B3D00927684E10DEE6B102EB1A61CF5961F3EC540EA4B02