| 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 |