Result for 85588CBD85E7D3619F56866173097E823FF370A1

Search result
Graph view
Children (1570)

Query result

Key Value
FileSize14095988
MD583430813A80A585FE6279B8A7EA06526
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-185588CBD85E7D3619F56866173097E823FF370A1
SHA-256754FF7F3FD8CDF01E84DB0A95E11C291FCEC19DF5BC87947E03048FA6B508535
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/Types/Sigma.vo
FileSize220286
MD5DFF12F1979A0B1E372B88A6E66DB7CBC
SHA-10033E69BA31A8FB8215D44B3C1B58DC6C06D1038
SHA-256BF9BF96CB7B030A3796BDD1A9A20BD3C20C3D3F75DC706268752DD871AECEE7B
SSDEEP1536:18OjMgzWYRQZ7mAa2+S86om/gJ/fw17LJUeqqFXkq8onwgG:1TJ5RE7mZ+Sfw17L7BsGwgG
TLSHT171242146EF42DB7DC2AC4F74EB5B470AC368D3CAA7270A0D255E91581AC724626CB3CD
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Profunctor/Identity.vo
FileSize5802
MD5D2B092C9ECB5F35A8D2C56C20529A8BE
SHA-100DAF181027752FFC1EA8BD3377D79ED5CDECEA4
SHA-25663ED3853BFDCE976D67102ACA5128946B39DD1A9615D134B6C934DF6A3DCF709
SSDEEP96:EtujiFn4Bh0Hh/tBiufYLiA9J2Z9htnyBHJhVGV:EEB+5v1fYWEcZ9qq
TLSHT1C5C1818EB58D21F2E3E075F6EB861589A13D25830C374D84261CDB880AD57CD639FB9B
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Classes/theory/groups.vo
FileSize41328
MD57EE368E9517522A0D2AB187E6833F45F
SHA-100EAF739E137986955A8C43A77EAFE56102ABC92
SHA-256574BF5CD2AB933228C0500972A6FCFABE30C568A6D04E77DDDC42D6EC5EE39E9
SSDEEP384:HRUdgyQu88N/Fl8m8C9xBFpVKgHtIngojrFEwx+WcpXdZ8jzoHLLlA7SpcPxqv7n:xUuyF8GFvqNMHX2bfEvU0EeLZ
TLSHT17003396DF703D4F9D6EA29B0E6B3814285A843CF99F7098A562E035C90D32CA535F3C6
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/Categories/Functor/Identity.vo
FileSize2037
MD5D5AA05015B1AE9D464906CF4083C827E
SHA-1010DEDF9FD4945300F38326A5486B9E0D6BAA30C
SHA-256A55331B007A2BA446957935BCAD5132E54B0FA0B086A1B017B862D8925FD791A
SSDEEP48:vGNtum0k/99+Hzrm0IA5DafR1uFAzQABBCBBDSDChGV:vWtubk/6nmNfR1uFAdCBfhGV
TLSHT13B41108F797830F6CBDE38F6E5A51149A93992DB49638D411B08DB4D09C12DC274FB43
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Cubical/DPathCube.vo
FileSize156239
MD53C1E7AC5E2B7ABD94BD230F37E01E0AC
SHA-101655BF9D6978D51E4F83422A8465863D4573AA4
SHA-2561B7ADA5598387A24AE53297499D09CFFCEC33665904B9245D6AB590F589031E7
SSDEEP1536:SlDwYkImZZZZZZ1MeJEv0KajTcD+PjNrVEtw6Nnh:gwYiMeJEGs+bNpEt3h
TLSHT1B7E37567DA0BCB3DC1AF5B75E76B0B0BC3C4534567B3150E22AEC15C6BC724A629628C
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
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/DProp.glob
FileSize33764
MD55157C46525AAAECC5654B79000EB2D50
SHA-101BD712130B4B0C7A1A1B1E47F285CD2C3EDDFB6
SHA-256DA465F98D11916827A077A9255C39A9F716F54B8CC7EBD5B88872226D3212D50
SSDEEP768:xAxzesGUh7qwkQhL7c2A40UaQRXrS94VCKocNPGkMBMbJOcmY:itGBQhHgO
TLSHT108E2483C60461CBDE3D739A35BD21B27D62A8389137FB823A565935C5EF168D90EE2C0





metalookup is a service from miwakeru.com