mjb@linux:~> cabal update Downloading the latest package list from hackage.haskell.org mjb@linux:~> cabal install idris Resolving dependencies... In order, the following would be installed: annotated-wl-pprint-0.7.0 (via: idris-1.2.0) (new package) base-compat-0.9.3 (via: aeson-1.2.3.0) (new package) base64-bytestring-1.0.0.1 (via: idris-1.2.0) (new package) binary-0.8.5.1 (latest: 0.9.0.0) (via: idris-1.2.0 zip-archive-0.3.1.1 vector-binary-instances-0.2.3.5 uuid-types-1.0.3 scientific-0.3.5.2 text-1.2.3.0) (new version) code-page-0.1.3 (via: idris-1.2.0) (new package) colour-2.3.4 (via: ansi-terminal-0.7.1.1) (new package) ansi-terminal-0.7.1.1 (latest: 0.8) (via: idris-1.2.0 ansi-wl-pprint-0.6.8.2) (new package) ansi-wl-pprint-0.6.8.2 (via: idris-1.2.0 optparse-applicative-0.14.0.0) (new package) digest-0.0.1.2 (via: zip-archive-0.3.1.1) (new package) fingertree-0.1.3.1 (via: idris-1.2.0) (new package) hinotify-0.3.9 (via: fsnotify-0.2.1.1) (new package) ieee754-0.8.0 (via: idris-1.2.0) (new package) old-time-1.1.0.3 (via: zip-archive-0.3.1.1) (new package) optparse-applicative-0.14.0.0 (via: idris-1.2.0) (new package) parser-combinators-0.4.0 (via: megaparsec-6.4.0) (new package) regex-base-0.93.2 (via: regex-tdfa-1.2.2) (new package) safe-0.3.16 (via: idris-1.2.0) (new package) split-0.2.3.2 (via: idris-1.2.0) (new package) syb-0.7 (via: cheapskate-0.1.1 uniplate-1.6.12) (new package) terminal-size-0.3.2.1 (via: idris-1.2.0) (new package) text-1.2.3.0 (via: idris-1.2.0 zip-archive-0.3.1.1 cheapskate-0.1.1 cheapskate-0.1.1 xss-sanitize-0.3.5.7 aeson-1.2.3.0 uuid-types-1.0.3 fsnotify-0.2.1.1 tagsoup-0.14.2 megaparsec-6.4.0 css-text-0.1.2.2 attoparsec-0.13.2.0 scientific-0.3.5.2 parsec-3.1.11 case-insensitive-1.2.0.10 hashable-1.2.6.1 blaze-html-0.9.0.1 blaze-markup-0.8.2.0 blaze-builder-0.4.0.2) (new version) blaze-builder-0.4.0.2 (via: blaze-html-0.9.0.1 blaze-markup-0.8.2.0) (reinstall) (changes: text-1.2.2.1 removed) blaze-markup-0.8.2.0 (via: idris-1.2.0 blaze-html-0.9.0.1) (new package) blaze-html-0.9.0.1 (via: idris-1.2.0 cheapskate-0.1.1 cheapskate-0.1.1) (new package) hashable-1.2.6.1 (via: aeson-1.2.3.0 uuid-types-1.0.3 uniplate-1.6.12 unordered-containers-0.2.8.0 scientific-0.3.5.2 case-insensitive-1.2.0.10) (reinstall) (changes: text-1.2.2.1 removed) case-insensitive-1.2.0.10 (via: megaparsec-6.4.0) (new package) parsec-3.1.11 (via: regex-tdfa-1.2.2 network-uri-2.6.1.0) (new package) network-uri-2.6.1.0 (via: xss-sanitize-0.3.5.7) (new package) regex-tdfa-1.2.2 (via: idris-1.2.0) (new package) scientific-0.3.5.2 (via: aeson-1.2.3.0 megaparsec-6.4.0 attoparsec-0.13.2.0) (new version) attoparsec-0.13.2.0 (via: xss-sanitize-0.3.5.7 aeson-1.2.3.0 css-text-0.1.2.2) (new version) css-text-0.1.2.2 (via: xss-sanitize-0.3.5.7) (new package) megaparsec-6.4.0 (via: idris-1.2.0) (new package) tagsoup-0.14.2 (via: xss-sanitize-0.3.5.7) (new package) th-abstraction-0.2.6.0 (via: aeson-1.2.3.0) (new package) time-locale-compat-0.1.1.3 -old-locale (via: aeson-1.2.3.0) (new package) unix-compat-0.5.0.1 (via: fsnotify-0.2.1.1) (new package) fsnotify-0.2.1.1 (via: idris-1.2.0) (new package) unordered-containers-0.2.8.0 (via: idris-1.2.0 aeson-1.2.3.0 uniplate-1.6.12) (new package) uniplate-1.6.12 (via: idris-1.2.0 cheapskate-0.1.1) (new package) utf8-string-1.0.1.1 (via: idris-1.2.0 xss-sanitize-0.3.5.7) (new package) uuid-types-1.0.3 (via: aeson-1.2.3.0) (new package) vector-0.12.0.1 (via: idris-1.2.0 vector-binary-instances-0.2.3.5 aeson-1.2.3.0) (new package) aeson-1.2.3.0 (via: idris-1.2.0) (new package) vector-binary-instances-0.2.3.5 (via: idris-1.2.0) (new package) xss-sanitize-0.3.5.7 (via: cheapskate-0.1.1) (new package) cheapskate-0.1.1 (via: idris-1.2.0) (new package) zip-archive-0.3.1.1 (via: idris-1.2.0) (new package) idris-1.2.0 (new package) cabal: The following packages are likely to be broken by the reinstalls: streaming-commons-0.1.17 conduit-extra-1.1.16 bzlib-conduit-0.2.1.4 scientific-0.3.5.1 attoparsec-0.13.1.0 Use --force-reinstalls if you want to install anyway. mjb@linux:~> cabal install idris --force-reinstalls Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: streaming-commons-0.1.17 conduit-extra-1.1.16 bzlib-conduit-0.2.1.4 scientific-0.3.5.1 attoparsec-0.13.1.0 Continuing even though the plan contains dangerous reinstalls. Downloading annotated-wl-pprint-0.7.0... Downloading base-compat-0.9.3... Downloading base64-bytestring-1.0.0.1... Configuring annotated-wl-pprint-0.7.0... Downloading binary-0.8.5.1... Configuring base-compat-0.9.3... Building annotated-wl-pprint-0.7.0... Building base-compat-0.9.3... Configuring base64-bytestring-1.0.0.1... Downloading code-page-0.1.3... Building base64-bytestring-1.0.0.1... Downloading colour-2.3.4... Configuring binary-0.8.5.1... Downloading digest-0.0.1.2... Configuring code-page-0.1.3... Building binary-0.8.5.1... Configuring digest-0.0.1.2... Downloading fingertree-0.1.3.1... Downloading hinotify-0.3.9... Configuring colour-2.3.4... Building code-page-0.1.3... Building digest-0.0.1.2... Installed annotated-wl-pprint-0.7.0 Configuring fingertree-0.1.3.1... Downloading ieee754-0.8.0... Building colour-2.3.4... Downloading old-time-1.1.0.3... Configuring hinotify-0.3.9... Installed base-compat-0.9.3 Configuring ieee754-0.8.0... Downloading parser-combinators-0.4.0... Installed code-page-0.1.3 Building fingertree-0.1.3.1... Building hinotify-0.3.9... Configuring old-time-1.1.0.3... Downloading regex-base-0.93.2... Installed base64-bytestring-1.0.0.1 Configuring parser-combinators-0.4.0... Downloading safe-0.3.16... Building ieee754-0.8.0... Downloading split-0.2.3.2... Configuring regex-base-0.93.2... Installed digest-0.0.1.2 Building parser-combinators-0.4.0... Downloading syb-0.7... Downloading terminal-size-0.3.2.1... Building regex-base-0.93.2... Downloading th-abstraction-0.2.6.0... Downloading time-locale-compat-0.1.1.3... Building old-time-1.1.0.3... Downloading unix-compat-0.5.0.1... Downloading utf8-string-1.0.1.1... Downloading vector-0.12.0.1... Installed parser-combinators-0.4.0 Configuring safe-0.3.16... Configuring split-0.2.3.2... Installed hinotify-0.3.9 Configuring syb-0.7... Installed regex-base-0.93.2 Building safe-0.3.16... Building split-0.2.3.2... Building syb-0.7... Configuring time-locale-compat-0.1.1.3... Installed ieee754-0.8.0 Building time-locale-compat-0.1.1.3... Configuring terminal-size-0.3.2.1... Installed split-0.2.3.2 Configuring th-abstraction-0.2.6.0... Installed time-locale-compat-0.1.1.3 Building terminal-size-0.3.2.1... Building th-abstraction-0.2.6.0... Installed colour-2.3.4 Configuring utf8-string-1.0.1.1... Downloading ansi-terminal-0.7.1.1... Configuring unix-compat-0.5.0.1... Installed safe-0.3.16 Building utf8-string-1.0.1.1... Building unix-compat-0.5.0.1... Configuring vector-0.12.0.1... Installed fingertree-0.1.3.1 Configuring ansi-terminal-0.7.1.1... Installed old-time-1.1.0.3 Building vector-0.12.0.1... Installed syb-0.7 Installed terminal-size-0.3.2.1 Building ansi-terminal-0.7.1.1... Installed unix-compat-0.5.0.1 Installed th-abstraction-0.2.6.0 Installed utf8-string-1.0.1.1 Installed ansi-terminal-0.7.1.1 Downloading ansi-wl-pprint-0.6.8.2... Installed binary-0.8.5.1 Downloading text-1.2.3.0... Configuring ansi-wl-pprint-0.6.8.2... Building ansi-wl-pprint-0.6.8.2... Configuring text-1.2.3.0... Building text-1.2.3.0... Installed ansi-wl-pprint-0.6.8.2 Downloading optparse-applicative-0.14.0.0... Configuring optparse-applicative-0.14.0.0... Building optparse-applicative-0.14.0.0... Installed optparse-applicative-0.14.0.0 Installed text-1.2.3.0 Downloading blaze-builder-0.4.0.2... Downloading fsnotify-0.2.1.1... Downloading hashable-1.2.6.1... Configuring blaze-builder-0.4.0.2... Downloading parsec-3.1.11... Configuring fsnotify-0.2.1.1... Downloading tagsoup-0.14.2... Configuring hashable-1.2.6.1... Building blaze-builder-0.4.0.2... Downloading zip-archive-0.3.1.1... Configuring parsec-3.1.11... Building fsnotify-0.2.1.1... Building hashable-1.2.6.1... Building parsec-3.1.11... Configuring tagsoup-0.14.2... Configuring zip-archive-0.3.1.1... Building tagsoup-0.14.2... Building zip-archive-0.3.1.1... Installed fsnotify-0.2.1.1 Installed blaze-builder-0.4.0.2 Downloading blaze-markup-0.8.2.0... Installed hashable-1.2.6.1 Downloading case-insensitive-1.2.0.10... Downloading scientific-0.3.5.2... Configuring blaze-markup-0.8.2.0... Building blaze-markup-0.8.2.0... Configuring case-insensitive-1.2.0.10... Downloading unordered-containers-0.2.8.0... Configuring scientific-0.3.5.2... Downloading uuid-types-1.0.3... Configuring uuid-types-1.0.3... Building case-insensitive-1.2.0.10... Building scientific-0.3.5.2... Building uuid-types-1.0.3... Configuring unordered-containers-0.2.8.0... Installed case-insensitive-1.2.0.10 Building unordered-containers-0.2.8.0... Installed zip-archive-0.3.1.1 Installed uuid-types-1.0.3 Installed parsec-3.1.11 Downloading network-uri-2.6.1.0... Downloading regex-tdfa-1.2.2... Installed scientific-0.3.5.2 Installed blaze-markup-0.8.2.0 Downloading attoparsec-0.13.2.0... Configuring network-uri-2.6.1.0... Downloading megaparsec-6.4.0... Configuring regex-tdfa-1.2.2... Building network-uri-2.6.1.0... Downloading blaze-html-0.9.0.1... Configuring attoparsec-0.13.2.0... Building regex-tdfa-1.2.2... Configuring megaparsec-6.4.0... Configuring blaze-html-0.9.0.1... Building attoparsec-0.13.2.0... Building megaparsec-6.4.0... Building blaze-html-0.9.0.1... Installed vector-0.12.0.1 Downloading vector-binary-instances-0.2.3.5... Configuring vector-binary-instances-0.2.3.5... Building vector-binary-instances-0.2.3.5... Installed tagsoup-0.14.2 Installed vector-binary-instances-0.2.3.5 Installed network-uri-2.6.1.0 Installed unordered-containers-0.2.8.0 Downloading uniplate-1.6.12... Configuring uniplate-1.6.12... Building uniplate-1.6.12... Installed megaparsec-6.4.0 Installed uniplate-1.6.12 Installed attoparsec-0.13.2.0 Downloading aeson-1.2.3.0... Downloading css-text-0.1.2.2... Configuring css-text-0.1.2.2... Building css-text-0.1.2.2... Configuring aeson-1.2.3.0... Building aeson-1.2.3.0... Installed blaze-html-0.9.0.1 Installed css-text-0.1.2.2 Downloading xss-sanitize-0.3.5.7... Configuring xss-sanitize-0.3.5.7... Building xss-sanitize-0.3.5.7... Installed xss-sanitize-0.3.5.7 Downloading cheapskate-0.1.1... Configuring cheapskate-0.1.1... Building cheapskate-0.1.1... Installed cheapskate-0.1.1 Installed regex-tdfa-1.2.2 Installed aeson-1.2.3.0 Downloading idris-1.2.0... Configuring idris-1.2.0... Building idris-1.2.0... Installed idris-1.2.0 mjb@linux:~>