itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2025-11-05 08:11:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

idris: fix hash (closes #2308)

Browse Source
This commit is contained in:
Richard Kuhnt 2018-06-15 19:42:42 +02:00
parent 12c62f5fad
commit f45dd12d30
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
idris.json
View File

@ -5,11 +5,11 @@
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://neon.se/idris/idris-1.3.0-win64.exe#/dl.7z", "url": "https://neon.se/idris/idris-1.3.0-win64.exe#/dl.7z",
"hash": "099e047ea5498d850f39097d61527d77c359788ca4984a9fe3b2a4cd74341165" "hash": "99edeecf92194df0b798f4c3ecbf32fccc8fd36be2b1222c48ed35eac26bae70"
}, },
"32bit": { "32bit": {
"url": "https://neon.se/idris/idris-1.3.0-win32.exe#/dl.7z", "url": "https://neon.se/idris/idris-1.3.0-win32.exe#/dl.7z",
"hash": "256170a98cffc7db9734ceded13dada2335f6e0905337db92f3a1b760730047a" "hash": "8a8b29091612dc5ac6460e58a0c2a6598778e307d308b4ab47f28b3de7e5790f"
} }
}, },
"bin": "idris\\idris.exe", "bin": "idris\\idris.exe",