Result for 000E9EDCA6389AF4EA4116777CEC8B8A04B9003F

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/CategoryTheory/limits/graphs/pushouts.vo
FileSize89329
MD50235608A3D0D0EE0F19F1B72AE4AAF5B
SHA-1000E9EDCA6389AF4EA4116777CEC8B8A04B9003F
SHA-256B08415F905FF0767DAE78966630E41E4F93785A6EE7D44796D38ABD3B5130BBC
SSDEEP1536:LFPh9nUn5OGOHuGjtNqo2jyeBkamdYVkQ:LFhCnYGBToe7BkamYH
TLSHT13D93B7B18D27E639C36D0676679B8204E35C07CDF6B7090E2A5FD29856C3147A6CF28E
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
FileSize40790484
MD552D49BE4F392BF0969023D33C4D7DDEB
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
PackageVersion20220816-1+b3
SHA-1E00AD4597F4F82068EF3AACC8635F0AB608D7546
SHA-256036AE2DA029C9E285793290B28BC08E602668B14E95B061C38CB4682971F9B23





metalookup is a service from miwakeru.com