Result for 3316ECF3093BB8488727D494E53729DA793F9693

Search result
Graph view
Children (1570)

Query result

Key Value
FileSize14103632
MD516BC99FDFC99F77A957A01E9ECD3AC31
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-13316ECF3093BB8488727D494E53729DA793F9693
SHA-25650FC81BAD147F343C7F30677019D0309EDCA176C4CC0BAD54649B8E1826E4568
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/Classes/tactics/ring_pol.vo
FileSize71690
MD5ADD83C8F64A7AC8E24705B7EB2EE4B81
SHA-10048F8842D5A7FC43459049549CA1A05CAA8B6EF
SHA-2569E45D5C3E2EDC25873FDCDDE2BB7ECC6706C9A56136AB5E88C604CBAEA82F577
SSDEEP1536:gY1gatZvU9D6tkpwtVBxySZnbubk4zrEsoV6YUo8pi:ghatZvQbwhxySZKoMho8pi
TLSHT12E63F8ADB54BECB4C5ED16B4DBFBC209F6F8538FA5FB0687490B831408C21C5964B989
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Spaces/Nat.vo
FileSize131141
MD5DB1947DFF785BEC1EC020CE653509870
SHA-1004FC1303481B77F56202732B904173FC0F880E5
SHA-2562DCCFD683309FD276A78E06D5A6271C8C1064E3AE1D8B3E2EF725E5FD6EAC0FB
SSDEEP1536:lqYT9i4EqN+p9zNNltNcP/b7Iydson9VxblAUC77xMaucm1a82kxfV:lqgNy9JNlTW7Yo9PBAFhMLcvkZV
TLSHT1E8D3944DE6A2DA78C39D4E78969E870BD32CC38ED763960A554BC1951EC33C521CB38E
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/Colimits/Colimit_Flattening.vo
FileSize8472553
MD538D09A80836FD8B300264B4498D23F66
SHA-10138B48D767722EB5E742171A712F4E947EA237D
SHA-256C5F82976E7B998F12196DE5201B470DE6DE434E1DAC8DF502B048D3DCDF24F54
SSDEEP6144:1T/x7GeNO3qbHfpmgiEGciPmJX5mUVI11S+Nle8aded5r4k:l/x7GE1Ji9Pwm1S+T9t5f
TLSHT147865242DE90972EC66C4735AA2B0511C3B9E784DA460F0D72EF6038AAD75463BDB3DC
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Basics/Decidable.vo
FileSize28173
MD5219E2D4B700516CA7250C1FAE41AD275
SHA-1017918E52328D92467D48A9B1A8DEA3FCE6BAF1B
SHA-2562313C4B43B9DDCC5D4EF6252B14013EA4060E4C9A478E1EEFD849AE9EA2925BD
SSDEEP384:17pBovrmGOknmm6VKbr6pgET3E7Qgak3QB/Mlo:1dWvr3OD9Kbr6pXS2B/T
TLSHT1A3C2A60DAB425DA5D3AE5E74965E8609C36C93D7A337890B452DC3980AC33D7B18F2CE
Key Value
FileName./usr/lib/ocaml/coq/user-contrib/HoTT/Modalities/CoreflectiveSubuniverse.vo
FileSize37426
MD50402D39CE90ED0E47F61321DA5C10F36
SHA-1018F67C1A79C210BCCCE3C2D4FABD4B557B7A792
SHA-2562B2F4139F3D0B73AD5678888D4E54F6EFA94730F9E94D4E286BA94E157D6282B
SSDEEP384:xiKx0PEySTG2iezAnJ+lYd+USv75av2gQDn82484u8s+43KrW0+Z:UJPEyx2LQ/0U675gQA2d4u8J4aV+Z
TLSHT104F22249FA82DAF5C2DD5F74DBAA470AC37C938F9637090D151E83584BCB2C9168B28D
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