Result for 005F25D70BBAA5DA2FAB2BC267089D930AE40555

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/UniMath/SubstitutionSystems/Signatures.vo
FileSize220083
MD5961B7E66C6A29BA907F5349A223AA8BD
SHA-1005F25D70BBAA5DA2FAB2BC267089D930AE40555
SHA-256EAD26EF3C54F6BBD7545BA2BFC451202D641D92CF6DF13F5D8454595F68EDE28
SSDEEP3072:wslHDR+HBykZAg3S12o0mv0as+qjhahYTTmStS8aLej:BHDReBw2o0mMaCjha/Sraej
TLSHT1562490B94C29BE25C75E0B71225EC249E78C03DEF576045A1927C2DC2BC368666CBE4F
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
FileSize40834356
MD5A293A5450D9E40F223EE5844BBE92BD1
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+b2
SHA-13B3B975A08890B240706A4CCF70E9D6F624C5361
SHA-25605062D8B1DCF30054856E015C75A8A014F504A6B7BCF8473863CB4A9B8241BE5





metalookup is a service from miwakeru.com