gnu: Add ghc-hslogger.
* gnu/packages/haskell.scm (ghc-hslogger): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: ghc-8: Update to 8.0.2.
* gnu/packages/haskell.scm (ghc-8): Update to 8.0.2.
[arguments]: Remove #:modules, #:imported-modules and phase
configure-testsuite.
* gnu/packages/patches/ghc-dont-pass-linker-flags-via-response-files.patch:
New file.
* gnu/local.mk (dist_patch_DATA): Add it.
gnu: Add ghc-setlocale.
* gnu/packages/haskell.scm (ghc-setlocale): New variable.
gnu: ghc-quickcheck-instances: Update to 0.3.12.
* gnu/packages/haskell.scm (ghc-quickcheck-instances): Update to 0.3.12.
[inputs]: Add ghc-scientific and ghc-vector.
Merge branch 'master' into gnome-updates
gnu: ghc-semigroups: Update to 0.18.2.
* gnu/packages/haskell.scm (ghc-semigroups): Update to 0.18.2.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: Add ghc-wave.
* gnu/packages/haskell.scm (ghc-wave): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: ghc-quickcheck: Update to 2.8.2.
* gnu/packages/haskell.scm (ghc-quickcheck): Update to 2.8.2.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: Add corrode.
* gnu/packages/haskell.scm (corrode): New variable.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
gnu: Add ghc-markdown-unlit.
* gnu/packages/haskell.scm (ghc-markdown-unlit): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: idris: Move to (gnu packages idris).
* gnu/packages/haskell.scm: Move 'idris' to...
* gnu/packages/idris.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.
gnu: idris: Update to 0.99.
* gnu/packages/haskell.scm (idris): Update to 0.99.
gnu: Order module imports in (gnu packages haskell) alphabetically.
* gnu/packages/haskell.scm: Order module imports alphabetically.
gnu: ghc-language-c: Fix up.
* gnu/packages/haskell.scm (ghc-language-c): Fix up indentation and
description.
gnu: Add ghc-language-c.
* gnu/packages/haskell.scm (ghc-language-c): New variable.
gnu: Use HTTPS for all sourceforge.net home pages.
* gnu/packages/admin.scm (mingetty, clusterssh)[home-page]: Use HTTPS.
* gnu/packages/audio.scm (libbs2b, soxr)[home-page]: Likewise.
* gnu/packages/bioinformatics.scm (bless)[home-page]: Likewise.
* gnu/packages/display-managers.scm (slim)[home-page]: Likewise.
* gnu/packages/games.scm (extremetuxracer)[home-page]: Likewise.
* gnu/packages/ghostscript.scm (gs-fonts)[home-page]: Likewise.
* gnu/packages/haskell.scm (ghc-regex-base, ghc-regex-posix,
ghc-regex-compat)[home-page]: Likewise.
* gnu/packages/image.scm (imlib2)[home-page]: Likewise.
* gnu/packages/libreoffice.scm (librevenge, libcmis, libodfgen, libmwaw)
[home-page]: Likewise.
* gnu/packages/linux.scm (hdparm, acpid, libavc1394, rng-tools)
[home-page]: Likewise.
* gnu/packages/mail.scm (esmtp)[home-page]: Likewise.
* gnu/packages/mp3.scm (ripperx)[home-page]: Likewise.
* gnu/packages/onc-rpc.scm (libtirpc)[home-page]: Likewise.
* gnu/packages/perl.scm (perl-czplib)[home-page]: Likewise.
* gnu/packages/python.scm (python-pyasn1-modules)[home-page]: Likewise.
* gnu/packages/xdisorg.scm (xosd)[home-page]: Likewise.
Merge branch 'master' into staging
gnu: idris: Update to 0.12.3.
* gnu/packages/haskell.scm (idris): Update to 0.12.3.
[origin]: Remove snippet.
[inputs]: Add ghc-aeson, ghc-async, ghc-fsnotify, ghc-regex-tdfa,
ghc-tasty-golden, ghc-tasty-rerun and ghc-terminal-size.
[arguments]: Disable tests.
gnu: ghc-trifecta: Update to 1.6.
* gnu/packages/haskell.scm (ghc-trifecta): Update to 1.6.
[inputs]: Add ghc-doctest and ghc-quickcheck.
[arguments]: Enable tests.