diff options
author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 05:39:55 +0200 |
---|---|---|
committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 15:39:52 +0200 |
commit | ef0073410d034ce852785ac5a5e4dc7e2012a34a (patch) | |
tree | 548547d3e2287625e758e683c1aa08d106eaa2ea /pkgs/development/idris-modules/semidirect.nix | |
parent | 0ca2744df38264759fe2f8de84c53f5e55fda81f (diff) | |
download | nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar.gz nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar.bz2 nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar.lz nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar.xz nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.tar.zst nixpkgs-ef0073410d034ce852785ac5a5e4dc7e2012a34a.zip |
idrisPackages.semidirect: 2018-02-06 -> 2018-07-02, fix build
Diffstat (limited to 'pkgs/development/idris-modules/semidirect.nix')
-rw-r--r-- | pkgs/development/idris-modules/semidirect.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/idris-modules/semidirect.nix b/pkgs/development/idris-modules/semidirect.nix index ebcf7b83075..8e7428665cd 100644 --- a/pkgs/development/idris-modules/semidirect.nix +++ b/pkgs/development/idris-modules/semidirect.nix @@ -6,15 +6,15 @@ }: build-idris-package { name = "semidirect"; - version = "2018-02-06"; + version = "2018-07-02"; idrisDeps = [ contrib patricia ]; src = fetchFromGitHub { owner = "clayrat"; repo = "idris-semidirect"; - rev = "884c26c095784f8fd489c323d6673f2a8710a741"; - sha256 = "0w36xkfxsqm6r91f0vs6qpmallrfwa09ql8i317xwm86nfk7akj9"; + rev = "e19c58f7a25c53bba2ab058821e038bae3c093d2"; + sha256 = "0182r9z34kbv3l78pw4qf48ng3hqj4sqzy53074mb0b2c3pikcrl"; }; meta = { |