FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/HoTT/Cubical/PathSquare.vo |
FileSize | 235542 |
MD5 | 0D00FB7C60D7FED2CD0809758BDD990D |
SHA-1 | 0043E6F604F797E5217D44CD691BB0C6D47A0096 |
SHA-256 | 50F38EE87BA9CBADD1CE2C27195235A873EEF388D44CA8863F5F09DA65C80964 |
SHA-512 | 4BF9A20A50E59371CDCCABE12B2D69EBD0AD42D73441460C1262D59D56C46F0A06B2D0BCD341D1FE2F1094FEB70750B900A2F62F0CC435C7F02E1A5B5B5DE210 |
SSDEEP | 3072:RSxAr+PVM2fyhtSr/dih9hcitdfpSfkRj:RJ/6ENzR |
TLSH | T15434DD55DE03DB3AC2AD4B7196AE4606C3ACA386EB521A0D316F815C5BD320767CB3CD |
insert-timestamp | 1706626857.4268873 |
mimetype | application/octet-stream |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |