-
Notifications
You must be signed in to change notification settings - Fork 4
/
verifpal.json
22 lines (22 loc) · 914 Bytes
/
verifpal.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
{
"version": "0.27.4",
"architecture": {
"64bit": {
"url": "https://github.com/symbolicsoft/verifpal/releases/download/v0.27.4/verifpal_0.27.4_windows_amd64.zip",
"bin": [
"verifpal_0.27.4_windows_amd64/verifpal.exe"
],
"hash": "cb296d26c40f67f0ff0533a18dbc3b3da1efdc0816326c2b575259df65bc91ff"
},
"arm64": {
"url": "https://github.com/symbolicsoft/verifpal/releases/download/v0.27.4/verifpal_0.27.4_windows_arm64.zip",
"bin": [
"verifpal_0.27.4_windows_arm64/verifpal.exe"
],
"hash": "03deb43e8d5b943130e1d8c20a6948fc0d075dbdb503ccac73876f12f7286edc"
}
},
"homepage": "https://verifpal.com",
"license": "https://www.gnu.org/licenses/gpl-3.0.en.html",
"description": "Cryptographic protocol analysis for students and engineers."
}