diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-08-17 12:04:13 -0700 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2019-08-17 12:04:13 -0700 |
| commit | b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f (patch) | |
| tree | 63e6f19c140ed9247fae915f8b0d2b81a5a3afb1 /pkgs/development/libraries/agda | |
| parent | a2bd8da766c7a7ea456afd099b86920dd902cec4 (diff) | |
| download | nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar.gz nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar.bz2 nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar.lz nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar.xz nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.tar.zst nixpkgs-b1af75fcb4fc87a12dd3a2d5773d22a245d2b38f.zip | |
AgdaStdlib: 1.0.1 -> 1.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index b6208eeeb51..4d071251ee8 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -1,14 +1,14 @@ { stdenv, agda, fetchFromGitHub, ghcWithPackages }: agda.mkDerivation (self: rec { - version = "1.0.1"; + version = "1.1"; name = "agda-stdlib-${version}"; src = fetchFromGitHub { repo = "agda-stdlib"; owner = "agda"; rev = "v${version}"; - sha256 = "0ia7mgxs5g9849r26yrx07lrx65vhlrxqqh5b6d69gfi1pykb4j2"; + sha256 = "190bxsy92ffmvwpmyyg3lxs91vyss2z25rqz1w79gkj56484cy64"; }; nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ]; |