Result for 018F67C1A79C210BCCCE3C2D4FABD4B557B7A792

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/CoreflectiveSubuniverse.vo
FileSize37426
MD50402D39CE90ED0E47F61321DA5C10F36
SHA-1018F67C1A79C210BCCCE3C2D4FABD4B557B7A792
SHA-2562B2F4139F3D0B73AD5678888D4E54F6EFA94730F9E94D4E286BA94E157D6282B
SSDEEP384:xiKx0PEySTG2iezAnJ+lYd+USv75av2gQDn82484u8s+43KrW0+Z:UJPEyx2LQ/0U675gQA2d4u8J4aV+Z
TLSHT104F22249FA82DAF5C2DD5F74DBAA470AC37C938F9637090D151E83584BCB2C9168B28D
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
FileSize14103632
MD516BC99FDFC99F77A957A01E9ECD3AC31
PackageDescriptionCoq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamelibcoq-hott
PackageSectionocaml
PackageVersion8.16-1+b1
SHA-13316ECF3093BB8488727D494E53729DA793F9693
SHA-25650FC81BAD147F343C7F30677019D0309EDCA176C4CC0BAD54649B8E1826E4568





metalookup is a service from miwakeru.com