Result for 00267B2691382688823AE4745989EC2D375C0A35

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Classes/orders/integers.vo
FileSize27580
MD520F209EC6A0252D16A46941A0BF21318
SHA-100267B2691382688823AE4745989EC2D375C0A35
SHA-2561D82F0DF99EE95C98A7E3E93B3D9C59DEB4E14AC25EA626F45469862A45F503B
SSDEEP384:RgSS0mvx7wBQ4Tky3IGPeIukeEab7C6Byg1f8PF3PHbAzkT88ied3RTTQ1LiV3je:uGO5rG6dG/Mz5Vc3NTQ1Lip5UqeAo
TLSHT126C2078DF15A80F099DB5AB1EAAAD150A0FDC35F8C7F0E851B7D93094AB16CC134B34A
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
FileSize14110656
MD5003732525E6EAC9D1758B92E743B1C68
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+b2
SHA-12D65F753212A01FF406D4823CAECFF573980BD7B
SHA-25664E577CDD8746B4FA4B3F4076B76A4B0A5323790C3133915E7F8B20A76CC772B





metalookup is a service from miwakeru.com