| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/UniMath/Bicategories/OtherStructure/Examples/StructureOneTypes.vo |
| FileSize | 162567 |
| MD5 | 07D5B293870645C7EBE7C657E1DD5D9F |
| SHA-1 | 0038D6A6FECCAE4409FEB7376920208A6C2DDEFF |
| SHA-256 | 9D7EFE11A536BD89BA9FA1F3F522BF81D4C2032EC5454075E60F8457182BEB5B |
| SSDEEP | 3072:E8kggrbkfEyGTQYIOsSukJbxYPWIfRI5oIhV/NUj:lgrEEy8jKWIZI5oIhVej |
| TLSH | T137F3D5E9D47DA422E77F65B33388B588B7E8039DF0B738542D27D1980AC146952C9F2E |
| 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 | 40825984 |
| MD5 | 9A8C78E54AE03BB4AE259A7D6D731FB1 |
| 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+b3 |
| SHA-1 | 6952A30983F7F18E12BA3E15A1418A00140A1649 |
| SHA-256 | ADFFDE4427969571B3B4EDCCE559D1146D56271B4880579A168108A793922A99 |