Result for C09BD85C067F9BA1DDD779019165DFE3B148E226

Search result
Graph view
Children (1570)

Query result

Key Value
FileSize14085092
MD578191B172F650C948C0091623FC9D8F3
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-1C09BD85C067F9BA1DDD779019165DFE3B148E226
SHA-256C85A68F9F0E699A9040C04FBFF3869BD6D7E614A4D778217B9E41E8D8E891D0D
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/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/ExponentialLaws/Law2.vo
FileSize32929
MD5975B617730D80996B3E53E7CAD4F168E
SHA-1004372CB0376AC46A4127872A458619490F90C12
SHA-2561875870E6C7D73BD1FFE087D439C48530483D48076DED5C83D9DF4CEC7A051BC
SSDEEP384:4FsNzx+i+XYgLG3257429YkMPsM6e9puj/TLiTV0ElIDsd/Fr:Rzx+n3G07Z9nMt6eTyLiTmQ7
TLSHT130E2954FF40FD1B6D39D25F6A686424AA26C524B89734D492A1DC35899C32CD33CBFCA
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Cantor.vo
FileSize10659
MD5AF6100CDCCA84D1EC3379174AA75BF07
SHA-10073447C159DEA007FF4C6DCABAEAD5FDE7BE888
SHA-256E5BBBDACB7A695EAD62A9D3ABFE1CF203D2C102F44007FA9014B2556A6848B8B
SSDEEP96:GLnF0Zp3E8U/B25DedOY9bR0ytMvEB/mvGhC6r9LPYlbY8xXJJMGSikns6HPBfTY:GLnFsEAV/YxMcB/LCC9LPYlb1R1SXVC
TLSHT13422224DB65559F5C7E93AB0D76A8216E32C83DB8A339D0A110ED39D0EC22C956CB34E
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/KanExtensions.vo
FileSize23641
MD502DB7213706A9ECBC9D7D34E292711D0
SHA-10080FD93664847DBCF647EE678212F84CA8351FC
SHA-25621DF4CFDF367279046364DB2CEE12FEEA5D26AE80C9777AD4D590C31454A4715
SSDEEP192:t5tx0Q/uZ0SiXIAB+iIZF/mtg5cMhkNmucDQvNFJGa2D38bQz+WC:vtDmZqIK+FZ0tgOaPDDiEaY5z+h
TLSHT18CB2328EF41FD0B2E79620F1EBCA458B663D524B09730E861659CB4849D36CC239BF97
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Functor/Prod/Universal.vo
FileSize38376
MD5DB645256407B08961C379F6FECA7A13E
SHA-100DEA129A6D032D27385CB936624C0C4EFF0D094
SHA-256B4DDAF8CFF92401EBA56E2BB0DF777FA44BFD98F66873D790720220BCEF07976
SSDEEP384:5t0dEqRTMC2UZn+v7z1zL3AdXhlXqjUnwbFqpM1TtHZmlxT72JDJ5+vFIVRjM:IyaMTUZeNLwdXH8FqpUTtkjf2J/+aVK
TLSHT15603C64FF40FE5B6D2AD1AF2E749520AD298124E85370B492D1D835C89C76CD239ABCF
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/Sets/Hartogs.vo
FileSize83288
MD502C1DA5F23B41D53A416C1FB634A92A5
SHA-10147DEBF94664A60C348E5197E78F26642B7479C
SHA-25663129606F3F82F7C93B21E2E2E2AB11F33C6C975E7002F47119FDCB67526BB54
SSDEEP1536:QXUdM5dWcV2g0aaEIN3K6Odmz8yYcBXQn:4CcMg8ECW8c
TLSHT1F8831C0BF59AFDB7C6ED0EB9E75A414ED728838EC1B7050C1E1683685EC72C9154A2CB
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories.vo
FileSize1108930
MD580425B49656FBED965CBFB21B3028234
SHA-1015CAC7488EB50D18865BB21F901632CACBF858C
SHA-2566D62C64A3822DBA9AD043F7B56A29E8249288F78B87CE41FB22C62E9115032FD
SSDEEP6144:vLlzygV4vXJchL7FrKL36WK+C8+ifBIV9yOGrtm1+sVRDudG524pUS9Ya9bvQshV:vhGCArHBIPFj+MU4pUS9YapvQIsk5
TLSHT11B35930FE08BCBFFC79C0F3976AE2B45F298D949995355EE0E04892465C334A12E598F
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