Key | Value |
---|---|
FileSize | 14075456 |
MD5 | D3A5ED2890EE7E96116F707633F64E42 |
PackageDescription | Coq 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. |
PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
PackageName | libcoq-hott |
PackageSection | ocaml |
PackageVersion | 8.16-1+b2 |
SHA-1 | A9C784514F2559F3868711BBE9D18A6E98EF073E |
SHA-256 | 733BB8E2BF5C6CB447FFD5B4C622105E2E394685AE869D346E6E4CD36EE1573F |
hashlookup:children-total | 1570 |
hashlookup:trust | 50 |
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 |
FileSize | 7908 |
MD5 | 38F0B9D0F9D100E1C47D0DA024972E74 |
SHA-1 | 003016A342505715A710EAB65EFEAB255DB812C4 |
SHA-256 | B34CA8B4D33D2D66F67B8904466FE2FF454B0748EC35999730834BD235B94395 |
SHA-512 | A7E89FBA9B1F28AE93637C5B04690B1D6D2DC5F6EE891D2D2DEE4521A7DF4CE3C411449759EB86198C319790A551B003D9F4FD914FC4198B1EC6065503A81FCB |
SSDEEP | 192:11Oy870rKP11kcqkeyGlJz6nxueeSBZcGOY:GyAGkerlwh/OY |
TLSH | T1DEF17429F8C14A31E1A781205E1546D65B2DEFA5E27604A5F4DCD3AC9B420B803F6FCE |
insert-timestamp | 1683748232.5597696 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Grothendieck/ToSet/Core.vo |
FileSize | 23081 |
MD5 | 0DA4D7F3142C3102D28FA22848F3B8DF |
SHA-1 | 003C77A56A19CD5A9EB3F684C617FA001CF5E8CA |
SHA-256 | 8818D85BF97B9DFA013A253DA2186167211F9F2B2F7C3C1BC87A89D02061B6DE |
SSDEEP | 384:7+wUaVWTASqZbV45CXjDfKEwNw2S+GcVraAZ:TUaVWT89X7f2V1 |
TLSH | T139A2724FB5CBD8F2C7AE2CB5D7994248D7A4E28F46670A420D09C75819CB2C9670B7CB |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/WildCat/FunctorCat.glob |
FileSize | 25041 |
MD5 | C84EB2241A317965CE0CF8589715BD1D |
SHA-1 | 00EB6D61A4C36AFA6AA162A9D00F2759F992158F |
SHA-256 | 3522532995494B23A61736F5B42CA15CD66349901EC49A5F3A6AC5C06BE1260D |
SSDEEP | 384:iCOKzloS/tRZHx6rLB61oLdkH2VR7fby4p+T/Scp:erZRKz |
TLSH | T18AB238FDD28849E4C38EA40B5AF13769D337434E0176E2CB0B97975DCB67528837A982 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Nat.vo |
FileSize | 131141 |
MD5 | AA1E2C4F3B09EC8657722C81BAFED441 |
SHA-1 | 0155A7A42C2F16F22959E98755B2A6E893E738CC |
SHA-256 | BD57DF6E7073D8BB34A073C0EE54FF5400AC7C7D2F287A51D0561BEAC1747256 |
SSDEEP | 1536:9YT9i4EqN+p9zNNltNcP/b7IydsoUblAUC77xMaucm1a82kxf+:9gNy9JNlTW7YoUBAFhMLcvkZ+ |
TLSH | T106D3844DE6A1DA78C39D4E78969E830BD32CC38ED763960A554BC1A51EC33C521CB38E |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Types/Sigma.vo |
FileSize | 220286 |
MD5 | 92BF9203F36005BD198F2445C9FE0C2E |
SHA-1 | 019E80AFAD75CBDD3CC99D348EBE579E8C4770CB |
SHA-256 | D81276DBCBC7402CD65B0A5CCBAB24EB25F24A6788BAAFF083534308EA4FA5E5 |
SSDEEP | 1536:38OjMgzWYRQZ7mAa2+S86om/gJ/fw17LJUeqbFXkq8ohwgq:3TJ5RE7mZ+Sfw17L7csgwgq |
TLSH | T104242146EF42DB7DC2AC4F74EB5B470AC368D3CAA7270A0D255E91581AC724626CB3CD |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Category/Sigma/OnMorphisms.v |
FileSize | 5784 |
MD5 | 8BF889F33C743047EAB27B1E1666C7C3 |
SHA-1 | 01B0FBF6CA5CE661EF266F2F214051169934CD63 |
SHA-256 | 3B9EA2E31093B5CF420086F6BF0649E2A6ED02F8B0405928461B0A5631BE2C5D |
SHA-512 | 8B988B54CCF66AC91DBC7487F94D4C882199F102868FA163CE9252CFD5D12CE0342B1A166F0532E4FD0B603A127F57897E84DB25D28E7F015EC5106C0DFD7961 |
SSDEEP | 96:3hff+KW7nFqLkmExLghEBNn8VQsB4yYwnmyL7nFqH9bPukgTaqiNLtN:3hffg2rE1EEBh8VQsB4yYwnmW8uVuqKT |
TLSH | T182C1256DA0EB010363A78B7AEFA60049971D69C6CA092C417E1DE67EDFC617C13D8DD8 |
insert-timestamp | 1683748234.820182 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Finite/Tactics.glob |
FileSize | 681 |
MD5 | 39C66C513AEB18CC4A85C37CC8966246 |
SHA-1 | 01B1A9682E05CD1D63FEB0105A12BF0EFB5D0F3B |
SHA-256 | 7AA566904D481452F317A1BF75FC0A3118D80F837CC945E9245644D3E43238FA |
SSDEEP | 12:btiUywF81CiUXMPk08D28DkkSvkSPSAvSgSAvSNV5VJvRaSNvRaS0:bVF80iRPX8D28DolbkbJr+ |
TLSH | T1C401D63B514F08BF97CAA16722D10783EF1801515EE0DB336641C36C4CB9B4C944D297 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/DProp.glob |
FileSize | 33764 |
MD5 | 5157C46525AAAECC5654B79000EB2D50 |
SHA-1 | 01BD712130B4B0C7A1A1B1E47F285CD2C3EDDFB6 |
SHA-256 | DA465F98D11916827A077A9255C39A9F716F54B8CC7EBD5B88872226D3212D50 |
SSDEEP | 768:xAxzesGUh7qwkQhL7c2A40UaQRXrS94VCKocNPGkMBMbJOcmY:itGBQhHgO |
TLSH | T108E2483C60461CBDE3D739A35BD21B27D62A8389137FB823A565935C5EF168D90EE2C0 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Colimits/MappingCylinder.glob |
FileSize | 31206 |
MD5 | 307B6CD41CDE6F05F59EBF25FCD3932B |
SHA-1 | 01BE1BC3CEFA7675D8C9689A4A9E5B913BE59F1A |
SHA-256 | 1A4147B25F6C7E33FBB5B6228BD67FE2763E6EBDAA3C2436883CB11D5D006BE7 |
SSDEEP | 768:+R39mW+X2vSKIRllZZxbmLsTmcHUeh3ieaeX/rctMFOJ1wNEQDL9:tGs20B |
TLSH | T14AE22B1E11BA0C69EA46327A45EDFF8FC32F91A47EA69913F450D7486E7C224C09F247 |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Grothendieck/ToSet/Morphisms.glob |
FileSize | 13826 |
MD5 | 89DCF2BB734267EF8B86A5D0EACDDCA7 |
SHA-1 | 01CBF45D1DAB02E0183A149C9995E21ED8BB7F93 |
SHA-256 | 7BB6387F39595DBA6C7FD97B4DEFF952A0D8C6A8C43F8000C9C1D0BCEF0BFE07 |
SSDEEP | 384:j6xwPPwPPuJuFJDJ2FS+B+RHb52SHb52iYZv6lO0dj3fGoYZv6lO0dj3fT4R4Y:rFapPpE4Y |
TLSH | T18352493DA10F08BAD3CB38B743D2463FE72E42C503A9A573B265DB1C1CA5B4CA14D962 |