FileName | snap-hashlookup-import/coq-platform/2022-04-0/lib/coq/user-contrib/HoTT/HIT/Flattening.vo |
FileSize | 179726 |
MD5 | F812C3F423FD688D5090C612CBA4E637 |
SHA-1 | 006D02BA1C77B30D0375B0641965ADB5EAC8F3D4 |
SHA-256 | D425FCE025B2E32A3F37CE8F87D7C13AFA1721D0AE569F9870FBBED0CA88FEFD |
SHA-512 | 1DBC146337368E8EEB56F503AB47E3081555BB0E72148D4076FF5CD3114C75F1D12CE84A84E4CE0EF245FDF9A64B60515F1CA7C36F578FB487C91FE9CD497462 |
SSDEEP | 768:fklCIuH4DLVZim2yd5DX/nbAsf0xrrC3PKVvYZZFbSR0mgSCunE6kU:INuH4DLVZvDz/nbAjYKVuSR01vunE63 |
TLSH | T1E6040A41DE52E73EC16C4778AA5B4605C3B9A3C5F6161E0D229F70ACAAD360636CB3DC |
insert-timestamp | 1655390618.726647 |
mimetype | application/octet-stream |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_29 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |