Merge pull request #1 from michaelpj/fix/agda-bump

Agda 2.6.0 -> 2.6.0.1, agda-stdlib 1.0.1 -> 1.2
IntersectMBO · Jan 16, 2020 · f5f628d · f5f628d
2 parents 0c5035d + a657f29
commit f5f628d
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/default.nix b/default.nix
@@ -357,7 +357,7 @@ let
       }).overrideAttrs (oldAttrs: rec {
         # Need to override the source this way
         name = "agda-stdlib-${version}";
-        version = "1.0.1";
+        version = "1.2";
         src = sources.agda-stdlib;
       });
     };

diff --git a/nix/sources.json b/nix/sources.json
@@ -5,10 +5,10 @@
         "homepage": "http://wiki.portal.chalmers.se/agda/pmwiki.php",
         "owner": "agda",
         "repo": "agda-stdlib",
-        "rev": "v1.0.1",
-        "sha256": "0ia7mgxs5g9849r26yrx07lrx65vhlrxqqh5b6d69gfi1pykb4j2",
+        "rev": "v1.2",
+        "sha256": "01v4dy0ckir9skrn118ca4mzjnwdas70q9a9lncawjblwzikg4hq",
         "type": "tarball",
-        "url": "https://github.com/agda/agda-stdlib/archive/v1.0.1.tar.gz",
+        "url": "https://github.com/agda/agda-stdlib/archive/v1.2.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
     "deployment-nixpkgs": {

diff --git a/pkgs/default.nix b/pkgs/default.nix
diff --git a/stack.yaml b/stack.yaml
@@ -24,7 +24,7 @@ packages:
 extra-deps:
 # Agda and deps
 - aws-lambda-haskell-runtime-2.0.1
-- Agda-2.6.0
+- Agda-2.6.0.1
 - data-hash-0.2.0.1
 - EdisonCore-1.3.2.1
 - EdisonAPI-1.3.1