| Type | DIST |
|---|---|
| File | proverif-v2.04.tar.bz2 |
| Size | 61001112 bytes |
| Type | Value |
|---|---|
| BLAKE2B | 03364d315bfa3d6cc8dfb68819be6b92301f554cf7ae4db0c4b9d8190a7d7576b79295dd536bf1356e12679028c100e6040d8c4e4299cf137c15114caf0216d2 |
| SHA512 | dbfafa62f4df72044b05563e10219b034ad49dd972598bf72eba616f2a88ff1cb85c3ee7bb9235050d0f35dbde750bffddbc93897b9ca2101dc6d153d3ea5575 |