Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'. https://www.git.jakob.space/guix.git/atom?h=master 2019-04-12T00:34:01Z 2019-04-12T00:34:01Z Eric Bavier bavier@member.fsf.org 2019-04-12T00:30:39Z urn:sha1:89647ff1d4abc4674973392cb7e08d14898e3ac9 * gnu/packages/patches/idris-test-no-node.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/idris.scm (idris)[origin]: Use it. [native-inputs]: New field. [arguments]: Remove "#:tests? #f". Add custom 'check' phase after 'install'. 2019-04-12T00:34:01Z Eric Bavier bavier@member.fsf.org 2019-04-12T00:28:45Z urn:sha1:e16bc71015a2cc59f49e27720c0a93bc4188ed81 * gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi. [arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags. 2019-04-12T00:34:00Z Eric Bavier bavier@member.fsf.org 2019-04-12T00:25:22Z urn:sha1:a4df9ba4ec4def25232265d72722dcc348b9beb0 * gnu/packages/idris.scm (idris): Upgrade to 1.3.1. [arguments]: Remove 'update-constraints' phase. 2018-10-01T10:12:20Z Timothy Sample samplet@ngyro.com 2018-08-29T04:36:30Z urn:sha1:53812aa77f5c8a490191c069a13a927d365618c7 * gnu/packages/idris.scm (idris): Update to 1.3.0. [inputs]: Remove ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1; add ghc-aeson, ghc-cheapskate, and ghc-megaparsec. [arguments]: Add a phase that patches the Cabal file to allow newer versions of aeson. (ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, ghc-trifecta-1.6.2.1): Remove. 2018-10-01T10:12:08Z Timothy Sample samplet@ngyro.com 2018-08-29T21:08:08Z urn:sha1:f54f04756f6d90c9fb3b5e45f3947329287f9b05 * gnu/packages/agda.scm (agda)[inputs]: Remove ghc-mtl. * gnu/packages/games.scm (raincat)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-check.scm (ghc-tasty-ant-xml, ghc-tasty-golden, ghc-tasty, ghc-tasty-kat, ghc-tasty-rerun, ghc-crypto-cipher-tests)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-crypto.scm (ghc-asn1-encoding, ghc-pem, ghc-x509, ghc-x509-store, ghc-x509-validation, ghc-x509-system)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-web.scm (ghc-http, ghc-http-conduit, ghc-yesod-core)[inputs]: Remove ghc-mtl. * gnu/packages/haskell.scm (ghc-convertible, ghc-libxml, ghc-cgi, ghc-happy, ghc-haskell-src-exts, ghc-resourcet, cabal-install, ghc-indents, ghc-regex-base, ghc-regex-tdfa-rc, ghc-trifecta, ghc-zip-archive, ghc-logict, ghc-exceptions, ghc-smallcheck, ghc-syb, ghc-fgl, ghc-chasingbottoms, ghc-parsec, ghc-megaparsec, ghc-edisonapi, ghc-edisoncore, ghc-mmorph, ghc-ifelse, ghc-kan-extensions, ghc-lens, ghc-cheapskate, ghc-free, ghc-adjunctions, ghc-equivalence, ghc-texmath, ghc-texmath-for-pandoc-1, ghc-highlighting-kate, ghc-th-reify-many, ghc-th-orphans, ghc-geniplate-mirror, ghc-conduit, ghc-filemanip, ghc-juicypixels, ghc-hslua, ghc-hourglass, ghc-skylighting, ghc-skylighting-for-pandoc-1, ghc-pandoc, ghc-pandoc-1, ghc-pandoc-citeproc, ghc-regex-tdfa, ghc-stmonadtrans, ghc-constraints, ghc-lifted-async, ghc-shelly, ghc-hslogger, ghc-json, shellcheck, ghc-vector-algorithms, ghc-monad-par-extras, ghc-monad-par, ghc-monadrandom, ghc-either, ghc-rebase, ghc-aws, ghc-monad-logger, ghc-persistent, ghc-bytes, ghc-missingh, ghc-operational, ghc-chart)[inputs]: Remove ghc-mtl. (ghc-conduit-combinators)[native-inputs]: Remove ghc-mtl. (ghc-mtl): Remove variable. * gnu/packages/idris.scm (idris)[inputs]: Remove ghc-mtl. * gnu/packages/tls.scm (ghc-tls)[inputs]: Remove ghc-mtl. * gnu/packages/version-control.scm (darcs, git-annex)[inputs]: Remove ghc-mtl. * gnu/packages/wm.scm (xmonad, ghc-xmonad-contrib)[inputs]: Remove ghc-mtl. * gnu/packages/xml.scm (ghc-hxt)[inputs]: Remove ghc-mtl. 2018-03-15T22:46:16Z Alex ter Weele alex.ter.weele@gmail.com 2018-03-08T00:32:19Z urn:sha1:d661ed521eedf4663c57e5d96e409a32a52113e0 Previously it would fail to build. See <https://bugs.gnu.org/30741>. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org> 2018-03-15T22:46:16Z Alex ter Weele alex.ter.weele@gmail.com 2018-03-08T00:31:22Z urn:sha1:866b19086e7f294261e694b228ff05ffb129296c * gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> 2018-03-15T22:46:15Z Alex ter Weele alex.ter.weele@gmail.com 2018-03-08T00:29:23Z urn:sha1:78dc985bee57eaaa45cb9b38c93c8ac4148e908d * gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> 2018-03-15T22:46:15Z Alex ter Weele alex.ter.weele@gmail.com 2018-03-08T00:28:24Z urn:sha1:9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5 * gnu/packages/idris.scm (ghc-aeson-1.1.2.0): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> 2017-11-13T17:12:37Z Ricardo Wurmus rekado@elephly.net 2017-11-13T17:09:36Z urn:sha1:44b7374a220caf73e398f156e08887250214cbeb * gnu/packages/haskell.scm (ghc-tagsoup, ghc-cookie, ghc-http-types, ghc-http, ghc-http-client, ghc-http-client-tls, ghc-http-date, ghc-http2, ghc-http-conduit, ghc-wai, ghc-wai-logger, ghc-wai-extra, ghc-wai-conduit, ghc-warp, ghc-warp-tls, ghc-xss-sanitize, ghc-css-text, ghc-mime-types, ghc-html, ghc-xhtml, ghc-blaze-html, ghc-aeson, ghc-aeson-pretty, ghc-aeson-qq, ghc-multipart): Move variables to ... * gnu/packages/haskell-web.scm: ... this new file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. * gnu/packages/haskell.scm, gnu/packages/idris.scm, gnu/packages/version-control.scm, gnu/packages/wm.scm: Include haskell-web module.