| Type | DIST |
|---|---|
| File | proverif2.05.tar.gz |
| Size | 980879 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 738531d34249f1837a93c6897d7249e326213940cc9a8fc378a25912a4de4c122a6ce536a429f17c1ef7fae5dd5e1673cdf439d7bad2dd0f44826b33363dbc8a |
| SHA512 | e20d6dc40b0e4957590b9ce019ef654361f3514f53e0a5c3240a40d296ff2a50093630982b7a230c2277eadf4ed22ba1b6d09b48764c2ad3ec0e102033d1c486 |