| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/PseudoFunctors/Examples/CorestrictImage.v |
| FileSize | 6404 |
| MD5 | CF1E77DE50F18804626E10B73DC37C6B |
| SHA-1 | 01A43BFA1485D806B2F4665DBDDBA6F324E56114 |
| SHA-256 | 2DC2B08F2C814EDDE3D85BF25F12DA348C9CB3C04837F8E275FDF4366ABEE0A6 |
| SHA-512 | ACF3493F148B665784CF143658BE7993F0F09107FA41BA546C61299F7773F6E52B2A0CFD02964AF2BB721CE1CE954F0FB32B74FF5C44D872A11957E601D361B0 |
| SSDEEP | 96:r0ZvU3VdrWZMh2SvgwfEMn7u+JkbBf7wf10+kysuWFfNjO7i:dTrOtTMnsbx7w9FUNj2i |
| TLSH | T165D1124D2475965396B3CE7279DF5583EB1008534BEFAB1A7DAE829C0F00AC53BB4934 |
| insert-timestamp | 1664889660.2388089 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| SHA-1 | 56D588354E77E8AAA0B3E024F0CA8BD06C383CF8 |
| snap-authority | canonical |
| snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap |
| snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30 |
| snap-name | coq-prover |
| snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-26T01:53:46.711754Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_30.snap |
| Key | Value |
|---|---|
| SHA-1 | 88B3EFBD3EA5DFDB002DE7C9EC3B3F28F2DC3022 |
| snap-authority | canonical |
| snap-filename | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap |
| snap-id | o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29 |
| snap-name | coq-prover |
| snap-publisher-id | oMbd0RvRzHHCiinUSnIQdNjIWf2vCHRJ |
| snap-signkey | BWDEoaqyr25nF5SNCvEv2v7QnM9QsfCc0PBMYD_i2NGSQ32EF2d4D0hqUel3m8ul |
| snap-timestamp | 2021-02-26T01:53:46.711754Z |
| source-url | https://api.snapcraft.io/api/v1/snaps/download/o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29.snap |
| 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 |