Result for E89BCC9EBEF78BE283CC4C3CBB28AB5C89465D24

Search result
Graph view
Children (1570)

Query result

Key Value
FileSize14086640
MD56AB5FC6698A8DD1113C0D33695765943
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-1E89BCC9EBEF78BE283CC4C3CBB28AB5C89465D24
SHA-2566DDAB7C93CB2250F6BF98FF66E2AA6DAB1AA386C2B5CFF8E5B4E961B537FD452
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/Categories/ExponentialLaws/Law1.vo
FileSize26300
MD50DCBBBC1C9A10911D0F960A6AC7B9A2F
SHA-1002B4E35E5531556E4CB27881E1A16EF36371F56
SHA-25601C1B5122B2532B529B73E9E9BCC8DDE25B15873B763C156E93B44F0B7222C57
SSDEEP192:xfxuFMSuWAgmiWZKRqR0aD7dvgBalSbjUJ+Gl8CmCGTPSBGBNBdP3UXcO5tCZ0i:xfxsV6DZdnpRlSbjUQGl8LBNrP3yCZ/
TLSHT194C2858EF45FD0B2EBC625B1D7C64646A668124B49730E56292D874C4ACB2CD33CBBC7
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Algebra/Universal/TermAlgebra.vo
FileSize88710
MD54AA1AE8A5478B466618F5F0E5D5F3483
SHA-1002D6960A0FFAA3490B5F9042272B2D9E05D6DB9
SHA-256C5D308BD36C3B868247BA5F3544E2D1E91DAE73E92FC6607045A47CF78173BF4
SSDEEP768:yZdIYbM2/gUD0QAx26kU7mdBpr+XDiN4aK5C5zFygMEgUcUVz0RJzko4oiGnDYi7:yZ7brIwBproDG0c07nDYud1bSO
TLSHT11383C50AEA43D7BEC6ED4B74DA9A4209D328578FB777060D2D0D92541AC72C9274F38E
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/Categories/Profunctor/Representable.vo
FileSize8703
MD57A2CF4F3FAA82C04DB80FA875A400E82
SHA-1005AC6906A51482C5F9F2E4F1EC312743065FD6F
SHA-2569B5AF45053F6C86F5D26C45AB3CCD3F1ADF5488913D705D836620EFE5FAC4F8A
SSDEEP96:bhP9trOECMOd6Mp825p8IqkTr1NHi2r9UREMntrBOhpsV:VFb1OdLpz31NHlUSq
TLSHT17A02B98EB05FE0F2E7E134B1E68A6484923D22474C774D45266CD7480AC76CE638FF4A
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/Types/Sigma.vo
FileSize220686
MD5B32E019505F28B68B9783EEFBA6CBB58
SHA-1017E7928EA0A05A44E56F044330929D88B54BBB2
SHA-2566885145EE17C8A6F03EE67029450F08C574114D76651DB3D756877A225CF5162
SSDEEP1536:vh8OjMgzWYRQZ7mAa2+S86om/gJ/fw17LJUeq26FXk48Wbwg3:vhTJ5RE7mZ+Sfw17L7DAuQwg3
TLSHT16E243246EF42DB7DC2AC4F74EB6B470AC368D3C9A7270A0D255E91581AC724626CB3CD
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Classes/theory/rings.vo
FileSize73941
MD53CFCB29703F981E55391684493918428
SHA-10184C64E14AD7788C399285044E5A3773931C25C
SHA-25616B1B86D4C61D1449A4DF466D8421571A7B7E17857FA809EBB0BEC6C1C9068BE
SSDEEP1536:wQsUF5yGLjmcgMAwCj5Wc8fRH9GUkKO8oge54dyK3hIVEDAj4nRU:wtQZjm9xwO5Wc60i/3huED6
TLSHT1787329BCA71B88E4EADA29B8F7F75241D5E4039B64B749C38E4B036514D22C6C24F787
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/ReflectiveSubuniverse.vo
FileSize649917
MD505AFB37F9E3F2873A0BAD8D335BB855E
SHA-101A9BE4B14196187660154E4B36D995A27306FCF
SHA-2563463242DE439ACABDDA6CF7D76A56B49BE1046A546BFEEC9E5A272761711C909
SSDEEP6144:z0ZWAbdMlNZ+xiyeRWp1r0tyQ9xW+oLA6sRIwGSxbZ:orYNLRZtF9xURsT
TLSHT1D3D400459F83DB7DC2AC4F35AB9B870AC37DD3C9A7570A0D116ED1984BC724622CA28D
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
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Finite/Tactics.glob
FileSize681
MD539C66C513AEB18CC4A85C37CC8966246
SHA-101B1A9682E05CD1D63FEB0105A12BF0EFB5D0F3B
SHA-2567AA566904D481452F317A1BF75FC0A3118D80F837CC945E9245644D3E43238FA
SSDEEP12:btiUywF81CiUXMPk08D28DkkSvkSPSAvSgSAvSNV5VJvRaSNvRaS0:bVF80iRPX8D28DolbkbJr+
TLSHT1C401D63B514F08BF97CAA16722D10783EF1801515EE0DB336641C36C4CB9B4C944D297





metalookup is a service from miwakeru.com