diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-06-26 22:14:17 +0200 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-06-26 22:14:17 +0200 |
commit | ebc7d2019094e75a82f9577035522d14f745074a (patch) | |
tree | 8368d071a9671e2f20600b6fb23a82742473373d /pkgs/development/idris-modules | |
parent | d45fe1530fa0033c0b11e9d54791b0baa1b04893 (diff) | |
download | nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar.gz nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar.bz2 nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar.lz nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar.xz nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.tar.zst nixpkgs-ebc7d2019094e75a82f9577035522d14f745074a.zip |
idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621)
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/bi.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/bi.nix b/pkgs/development/idris-modules/bi.nix index fb43fbf209b..47a81a06676 100644 --- a/pkgs/development/idris-modules/bi.nix +++ b/pkgs/development/idris-modules/bi.nix @@ -8,15 +8,15 @@ }: build-idris-package { name = "bi"; - version = "2018-01-17"; + version = "2018-06-25"; idrisDeps = [ prelude contrib pruviloj ]; src = fetchFromGitHub { owner = "sbp"; repo = "idris-bi"; - rev = "8ab40bc482ca948ac0f6ffb5b4c545a73688dd3a"; - sha256 = "1lra945q2d6anwzjs94srprqj867lrz66rsns08p8828vg55fv97"; + rev = "6bd90fb30b06ab02438efb5059e2fc699fdc7787"; + sha256 = "1px550spigl8k1m1r64mjrw7qjvipa43xy95kz1pb5ibmy84d6r3"; }; meta = { |