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

idris: Update to version 1.3.3 (#1163)

Browse Source 
#150
This commit is contained in:
Jakub Čábera 2020-06-12 08:46:25 +02:00 committed by GitHub
parent 480c9c400a
commit 049d3cbc3a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
bucket/idris.json
View File

@ -1,16 +1,12 @@
{ {
"description": "A Dependently Typed Functional Programming Language.", "version": "1.3.3",
"homepage": "https://www.idris-lang.org/", "description": "A Dependently Typed Functional Programming Language",
"version": "1.3.2", "homepage": "https://www.idris-lang.org",
"license": "BSD-3-Clause", "license": "BSD-3-Clause",
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://neon.se/idris/idris-1.3.2-win64.7z", "url": "https://neon.se/idris/idris-1.3.3-win64.7z",
"hash": "ac8e0d2e311e570ca41034a7bade437a3aa3e736a94ef0b12ca2a68315475099" "hash": "9ae353d6f4b50e30ab7ec658803d6719c70ef6182aa47e779ee647ec3adb1ff5"
},
"32bit": {
"url": "https://neon.se/idris/idris-1.3.2-win32.7z",
"hash": "2a7d7d793cc47191da9a26fb28b671bc8b2ddcee8565c5439fdff9fe0e7eaed1"
} }
}, },
"bin": "idris\\idris.exe", "bin": "idris\\idris.exe",
@ -22,9 +18,6 @@
"architecture": { "architecture": {
"64bit": { "64bit": {
"url": "https://neon.se/idris/idris-$version-win64.7z" "url": "https://neon.se/idris/idris-$version-win64.7z"
},
"32bit": {
"url": "https://neon.se/idris/idris-$version-win32.7z"
} }
} }
} }