Result for 2D65F753212A01FF406D4823CAECFF573980BD7B

Search result
Graph view
Children (1570)

Query result

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
hashlookup:children-total1570
hashlookup:trust50

Network graph view

Children (Total: 1570)

The searched file hash includes 1570 children files known and seen by metalookup. A sample is included below:

Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Diagrams/Sequence.vo
FileSize11738
MD50BD70000741A6F202CEB191302A51FA8
SHA-1000CA3B7D0048B06EB94520A52981E31BEE2AE38
SHA-256D16F3311874E9A2BCA2B1E527F09856984C69ABFC52B3E47371220BEEFF7F321
SSDEEP192:cdvDWRNySmKPoKpvF+I3qZaXAzu3vqJlwL2:cFD2BxFrJXAKfqJlwL2
TLSHT18A32304DFA949DFAC7DD6EB4DB5A0706E26CD3CF5B270949161C93881BC56CC028A38E
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
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/Lex.vo
FileSize196111
MD5D63AC111DFDBCC23F75488F8098717A9
SHA-1002964B8320846555DE8E7D8D27FA766984EF381
SHA-25602169DBE5FE2B9779263BDDB8976ECAE90DF10812D324D0F2A2B9472B10CF832
SSDEEP1536:l1osbNCel2C07QrjKG87zhbuW2yLYUBaOyLkVNQd5va9rzvZFJMAIrOO6JXqtJ6y:7osbv2eD6uW2S4SNQe/t9IrzAXuJE2
TLSHT1D614ED96DE42EF7AC39D4F74AA6F860AD36C93DEE327450D191FC1884BC728511CA28D
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Metatheory/FunextVarieties.v
FileSize7908
MD538F0B9D0F9D100E1C47D0DA024972E74
SHA-1003016A342505715A710EAB65EFEAB255DB812C4
SHA-256B34CA8B4D33D2D66F67B8904466FE2FF454B0748EC35999730834BD235B94395
SHA-512A7E89FBA9B1F28AE93637C5B04690B1D6D2DC5F6EE891D2D2DEE4521A7DF4CE3C411449759EB86198C319790A551B003D9F4FD914FC4198B1EC6065503A81FCB
SSDEEP192:11Oy870rKP11kcqkeyGlJz6nxueeSBZcGOY:GyAGkerlwh/OY
TLSHT1DEF17429F8C14A31E1A781205E1546D65B2DEFA5E27604A5F4DCD3AC9B420B803F6FCE
insert-timestamp1683748232.5597696
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/Open.vo
FileSize29653
MD5D0250F6B5983E23328F322A0597FAE4F
SHA-10078956DE62812DB41CD4538FA5C7ADAE74F94F9
SHA-25609F5F4AB307228AD26B9444A9E8105C5D5B376C82A71AED3E377B665976107C3
SSDEEP384:/bAmtJquEGMNYfz+hkYo3WCFg0v6ZPHuGZJp:TEGFqSd3WWgPZJp
TLSHT1B6D2EC4EFB914EE9C7DD4E72DBAD070AC33DD38F8A671B091629C3985BC52C5138A249
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Classes/theory/ua_quotient_algebra.vo
FileSize103349
MD519D7EFC38605F9A1D767F725DB36671D
SHA-100C83828C962BD1D84BA9D9960827A05EE5F6DC5
SHA-256629661B236590325C85C5320B4765D0712E1D9912C42DB84CA96A9DE7F746FB7
SSDEEP768:zqWhxGcymEKTEA3xmLBWVTuUj1h8sURlyFrrBtQ0A3Qf4cjv:7KcyvKT/mdWFNj1h8JRlyr120A3kT
TLSHT1C7A37786AA43CB7DC2AD4F35E79F4606C368D38B97770A0D265EC2585AC32C5129F38D
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/FunctorCat.glob
FileSize25041
MD5C84EB2241A317965CE0CF8589715BD1D
SHA-100EB6D61A4C36AFA6AA162A9D00F2759F992158F
SHA-2563522532995494B23A61736F5B42CA15CD66349901EC49A5F3A6AC5C06BE1260D
SSDEEP384:iCOKzloS/tRZHx6rLB61oLdkH2VR7fby4p+T/Scp:erZRKz
TLSHT18AB238FDD28849E4C38EA40B5AF13769D337434E0176E2CB0B97975DCB67528837A982
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/Yoneda.vo
FileSize116409
MD5714D23C4DCAE2D45ACCD870211308A02
SHA-101228683AB6F414491FD7C02446A73994EA05FA8
SHA-25690707E48FC6F25A0815823402025E6B33EE400C52E95ACED2789510A13802A97
SSDEEP1536:3XlQGazf57gJDyfSE2qa6/gcpa3bJ6PqQ:3XlWzxgJOSX3cercSQ
TLSHT17BB32205E943EB7ED3AD0BB657168244C3ECA38DE6612A0D256F91AC99CB14723C73CD
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/Paths.vo
FileSize3397
MD55EADB46F7CF59DCD369DBE8B6FF6A25A
SHA-1016EB64523A3ABD7F64CBAC79D0E314D43C89A89
SHA-256445DABBA0D9BFC58FF82B785F701366C73CC86E596A858AAB7913BD5461CE5BE
SSDEEP48:6rSqlF/8o42oYUfG3Bql3kuaiCiqGLlPy6eBBDCDNhA8V:kX8lukk/LB8hA8V
TLSHT1F961099CB68154F1D2EA3AF4C8592608C67C83DB0DBB8E46870CA34D0ED17E907C7349
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Category/Sigma/OnMorphisms.v
FileSize5784
MD58BF889F33C743047EAB27B1E1666C7C3
SHA-101B0FBF6CA5CE661EF266F2F214051169934CD63
SHA-2563B9EA2E31093B5CF420086F6BF0649E2A6ED02F8B0405928461B0A5631BE2C5D
SHA-5128B988B54CCF66AC91DBC7487F94D4C882199F102868FA163CE9252CFD5D12CE0342B1A166F0532E4FD0B603A127F57897E84DB25D28E7F015EC5106C0DFD7961
SSDEEP96:3hff+KW7nFqLkmExLghEBNn8VQsB4yYwnmyL7nFqH9bPukgTaqiNLtN:3hffg2rE1EEBh8VQsB4yYwnmW8uVuqKT
TLSHT182C1256DA0EB010363A78B7AEFA60049971D69C6CA092C417E1DE67EDFC617C13D8DD8
insert-timestamp1683748234.820182
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31





metalookup is a service from miwakeru.com