pyrox.dev / nixpkgs
lol
fork atom

haskell-idris: update to version 0.9.15

Peter Simons 12fd14c4 f6784b57

+11 -18
unified split
+10 -12
pkgs/development/compilers/idris/default.nix
··· 1 1 # This file was auto-generated by cabal2nix. Please do NOT edit manually! 2 2 3 3 { cabal, annotatedWlPprint, ansiTerminal, ansiWlPprint 4 - , base64Bytestring, binary, blazeHtml, blazeMarkup, boehmgc, Cabal 4 + , base64Bytestring, binary, blazeHtml, blazeMarkup, boehmgc 5 5 , cheapskate, deepseq, filepath, fingertree, gmp, happy, haskeline 6 - , languageJava, lens, libffi, llvmGeneral, llvmGeneralPure, mtl 7 - , network, optparseApplicative, parsers, split, text, time 8 - , transformers, trifecta, unorderedContainers, utf8String, vector 9 - , vectorBinaryInstances, xml, zlib 6 + , lens, libffi, mtl, network, optparseApplicative, parsers, split 7 + , text, time, transformers, trifecta, unorderedContainers 8 + , utf8String, vector, vectorBinaryInstances, xml, zlib 10 9 }: 11 10 12 11 cabal.mkDerivation (self: { 13 12 pname = "idris"; 14 - version = "0.9.14.3"; 15 - sha256 = "03zppfqjamy4mdwcfx3x1wzxav67ha1zgnynrxhvdqw3zcsrwnlr"; 13 + version = "0.9.15"; 14 + sha256 = "1i7ra9yk5zcdw63fry8r2s61z6cga6arz9mnjc60jgg2ykcxv8md"; 16 15 isLibrary = true; 17 16 isExecutable = true; 18 17 buildDepends = [ 19 18 annotatedWlPprint ansiTerminal ansiWlPprint base64Bytestring binary 20 - blazeHtml blazeMarkup Cabal cheapskate deepseq filepath fingertree 21 - haskeline languageJava lens libffi llvmGeneral llvmGeneralPure mtl 22 - network optparseApplicative parsers split text time transformers 23 - trifecta unorderedContainers utf8String vector 24 - vectorBinaryInstances xml zlib 19 + blazeHtml blazeMarkup cheapskate deepseq filepath fingertree 20 + haskeline lens libffi mtl network optparseApplicative parsers split 21 + text time transformers trifecta unorderedContainers utf8String 22 + vector vectorBinaryInstances xml zlib 25 23 ]; 26 24 buildTools = [ happy ]; 27 25 extraLibraries = [ boehmgc gmp ];
+1 -6
pkgs/top-level/haskell-packages.nix
··· 3085 3085 3086 3086 arbtt = callPackage ../applications/misc/arbtt {}; 3087 3087 3088 - idris_plain = callPackage ../development/compilers/idris { 3089 - llvmGeneral = self.llvmGeneral_3_3_8_2; 3090 - llvmGeneralPure = self.llvmGeneralPure_3_3_8_2; 3091 - languageJava = self.languageJava_0_2_6; 3092 - optparseApplicative = self.optparseApplicative_0_10_0; 3093 - }; 3088 + idris_plain = callPackage ../development/compilers/idris {}; 3094 3089 3095 3090 idris = callPackage ../development/compilers/idris/wrapper.nix {}; 3096 3091