From 6919277aca991cb12fdc4dd586dbe6f820044803 Mon Sep 17 00:00:00 2001
From: EFanZh <efanzh@gmail.com>
Date: Sun, 12 Aug 2018 16:50:09 +0800
Subject: [PATCH] Update Idris to version 1.3.0

---
 idris/idris.nuspec                | 2 +-
 idris/tools/chocolateyInstall.ps1 | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/idris/idris.nuspec b/idris/idris.nuspec
index f0cad94..680fb6b 100644
--- a/idris/idris.nuspec
+++ b/idris/idris.nuspec
@@ -4,7 +4,7 @@
   <metadata>
     <id>idris</id>
     <title>Idris</title>
-    <version>1.1.1</version>
+    <version>1.3.0</version>
     <authors>Edwin Brady, and many contributors</authors>
     <owners>userzimmermann</owners>
     <summary>A Dependently Typed Functional Programming Language</summary>
diff --git a/idris/tools/chocolateyInstall.ps1 b/idris/tools/chocolateyInstall.ps1
index 507d077..bc5a7a2 100644
--- a/idris/tools/chocolateyInstall.ps1
+++ b/idris/tools/chocolateyInstall.ps1
@@ -2,14 +2,14 @@ $ErrorActionPreference = 'Stop';
 
 $packageName = 'idris'
 
-$idrisVersion = '1.1.1'
+$idrisVersion = '1.3.0'
 
 $url = "https://neon.se/idris/idris-$idrisVersion-win32.7z"
-$checksum = '40F5FB612C37F0E4D7F30B29F55776B3D46E9E13'
+$checksum = '5BB6AFCE33987A190086CFDC59B4CDFE8E3254EC'
 $checksumType = 'SHA1'
 
 $url64 = "https://neon.se/idris/idris-$idrisVersion-win64.7z"
-$checksum64 = 'FB73F87F09CE9881476B4DE312AA4A0E1BBC13C4'
+$checksum64 = 'C8F787C39BA34F7BEB133D9F559F06E74DA10E8F'
 $checksumType64 = 'SHA1'
 
 $toolsDir = Split-Path -parent $MyInvocation.MyCommand.Definition