FileName | snap-hashlookup-import/coq-platform/lib/coq/user-contrib/CoRN/model/structures/OpenUnit.vo |
FileSize | 55938 |
MD5 | 210B092A25712004246DF426FE086F9F |
SHA-1 | 002634548BCC7291477DA917EFB0541A938ECAAD |
SHA-256 | BC42928918C6636004668E07F423AE75A71CCF07C51BAC40D09CF4886CC884CB |
SHA-512 | 0625C4515FC78852E28143962126FDC4035C40BB90700E5B8A9538B93C7B2BF1C902C6126157F8E194EDA5433DEFA6140014AED6B10B65950212EB1AA82EECA3 |
SSDEEP | 768:nmtTmULUjdr8JLOcsNPFU7ZrY2haFrWn9w/WF9IyFia5lJcagZT+NR141:mtzJkMlCpW9tF9Dia7JcagZERq |
TLSH | T12443F749D224CBA1D4BACD30DB385490A6461EDB93BE435A19B8412CDFCF1EF2977287 |
insert-timestamp | 1706626865.3464901 |
mimetype | application/octet-stream |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_33 |
hashlookup:parent-total | 1 |
hashlookup:trust | 55 |