Commit Graph

38620 Commits

Author SHA1 Message Date
Ricardo Wurmus 9c2d978041
gnu: r-magick: Update to 2.2.
* gnu/packages/cran.scm (r-magick): Update to 2.2.
2019-09-02 14:40:55 +02:00
Ricardo Wurmus 761f4764f9
gnu: r-raster: Update to 3.0-2.
* gnu/packages/cran.scm (r-raster): Update to 3.0-2.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 59fd6915c8
gnu: r-zip: Update to 2.0.4.
* gnu/packages/cran.scm (r-zip): Update to 2.0.4.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 2586cfd3d7
gnu: r-arules: Update to 1.6-4.
* gnu/packages/cran.scm (r-arules): Update to 1.6-4.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus a71460135c
gnu: r-radiant-data: Update to 1.0.6.
* gnu/packages/cran.scm (r-radiant-data): Update to 1.0.6.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 9ba8494c26
gnu: r-xfun: Update to 0.9.
* gnu/packages/cran.scm (r-xfun): Update to 0.9.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus bd8710b413
gnu: r-seriation: Update to 1.2-8.
* gnu/packages/cran.scm (r-seriation): Update to 1.2-8.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus fa859675cc
gnu: r-dtw: Update to 1.21-3.
* gnu/packages/cran.scm (r-dtw): Update to 1.21-3.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus b4cf01ecc8
gnu: r-geometry: Update to 0.4.3.
* gnu/packages/cran.scm (r-geometry): Update to 0.4.3.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 403e01e21e
gnu: r-circlize: Update to 0.4.7.
* gnu/packages/cran.scm (r-circlize): Update to 0.4.7.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus ef93de84ea
gnu: r-pkgbuild: Update to 1.0.5.
* gnu/packages/cran.scm (r-pkgbuild): Update to 1.0.5.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 6d879bb62b
gnu: r-rgooglemaps: Update to 1.4.4.
* gnu/packages/cran.scm (r-rgooglemaps): Update to 1.4.4.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 52aacfbda2
gnu: r-d3r: Update to 0.8.7.
* gnu/packages/cran.scm (r-d3r): Update to 0.8.7.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 0ce4b23d68
gnu: r-vegan: Update to 2.5-6.
* gnu/packages/cran.scm (r-vegan): Update to 2.5-6.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus d9a382ece3
gnu: r-sys: Update to 3.3.
* gnu/packages/cran.scm (r-sys): Update to 3.3.
2019-09-02 14:40:54 +02:00
Ricardo Wurmus 8324e64cd5
gnu: Add r-ensdb-hsapiens-v75.
* gnu/packages/bioconductor.scm (r-ensdb-hsapiens-v75): New variable.
2019-09-02 14:40:54 +02:00
Efraim Flashner f7a8571b37
gnu: vim-fugitive: Update to 3.0.
* gnu/packages/vim.scm (vim-fugitive): Update to 3.0.
[arguments]: Install syntax directory.
2019-09-02 09:56:11 +03:00
Brian Leung 9460884422
gnu: emacs-lsp-mode: Update to 6.1.
* gnu/packages/emacs-xyz.scm (emacs-lsp-mode): Update to 6.1.
[inputs]: Add emacs-markdown-mode.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2019-09-02 09:39:27 +03:00
Rutger Helling 48d11a5f8b
gnu: faudio: Update to 19.09.
* gnu/packages/audio.scm (faudio): Update to 19.09.
2019-09-02 08:18:05 +02:00
Tobias Geerinckx-Rice b439d9b290
gnu: acpica: Update to 20190816.
* gnu/packages/admin.scm (acpica): Update to 20190816.
2019-09-02 06:31:10 +02:00
Tobias Geerinckx-Rice 5f97cc2316
gnu: libostree: Update to 2019.3.
* gnu/packages/package-management.scm (libostree): Update to 2019.3.
2019-09-02 06:31:09 +02:00
Ricardo Wurmus 14b9203d01
gnu: Add vmpk.
* gnu/packages/music.scm (vmpk): New variable.
2019-09-02 00:44:31 +02:00
Ricardo Wurmus 6fd7e0cc6f
gnu: drumstick: Update to 1.1.3.
* gnu/packages/music.scm (drumstick): Update to 1.1.3.
2019-09-02 00:44:31 +02:00
Ricardo Wurmus 8a71a01c21
gnu: yoshimi: Update to 1.6.0.
* gnu/packages/music.scm (yoshimi): Update to 1.6.0.
2019-09-02 00:44:27 +02:00
John Soo 83f9448eb1
gnu: Add stylish-haskell.
* gnu/packages/haskell-apps (stylish-haskell): new variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:23 +02:00
L p R n d n 867df63f90
gnu: xfce4-taskmanager: Switch from libwnck-2 to libwnck.
* gnu/packages/xfce.scm (xfce4-taskmanager)[inputs]: Switch from libwnck-2 to libwnck.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:23 +02:00
L p R n d n f47f9720cc
gnu: xfce4-notifyd: Update to 0.4.4.
* gnu/packages/xfce.scm (xfce4-notifyd): Update to 0.4.4.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:23 +02:00
L p R n d n 3802d759da
gnu: xfce4-xkb-plugin: Update to 0.8.1.
* gnu/packages/xfce.scm (xfce4-xkb-plugin): Update to 0.8.1.
[inputs] Add libwnck. Remove libwnck-2.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:22 +02:00
L p R n d n 8c6cfdd766
gnu: xfce4-pulseaudio-plugin: Update to 0.4.2.
* gnu/packages/xfce.scm (xfce4-pulseaudio-plugin): Update to 0.4.2.
[arguments] Add augment-cflags phase.
[native-inputs] Add dbus and dbus-glib.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:22 +02:00
L p R n d n d4902f9a84
gnu: xfce4-battery-plugin: Update to 1.1.3.
* gnu/packages/xfce.scm (xfce4-battery-plugin): Update to 1.1.3. Switch from gtk+-2 to gtk+-3.
[inputs] Add gtk+. Remove gtk+2.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 23:02:18 +02:00
L p R n d n 279608653b
gnu: xfce4-whiskermenu-plugin: Update to 2.3.3.
* gnu/packages/xfce.scm (xfce4-whiskermenu-plugin): Update to 2.3.3.
[inputs] Add gtk+. Remove gtk+-2.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:53:03 +02:00
L p R n d n 998754ef49
gnu: xfce4-terminal: Update to 0.8.8.
* gnu/packages/xfce.scm (xfce4-terminal): Update to 0.8.8.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:46:06 +02:00
L p R n d n 8549e0ca6f
gnu: Update Xfce base to 4.14.0.
* gnu/packages/xfce.scm (libxfce4util): Update to 4.14.0.

* gnu/packages/xfce.scm (xfconf): Update to 4.14.1.
[native-inputs] Add glib:bin.
[propagated-inputs] Remove dbus and dbus-glib.

* gnu/packages/xfce.scm (libxfce4ui): Update to 4.14.1.

* gnu/packages/xfce.scm (exo): Update to 0.12.8.
[propagated-inputs] Add gtk+-3. Remove gtk+-2.
[inputs] Add gtk+-2.

* gnu/packages/xfce.scm (garcon): Update to 0.6.4.
[inputs] Rename gtk+ to gtk+-2.
[propagated-inputs] Add gtk+-3.

* gnu/packages/xfce.scm (tumbler): Update to 0.2.7.

* gnu/packages/xfce.scm (xfce4-appfinder): Update to 4.14.0.
[inputs] Updte gtk+ from gtk+-2 to gtk+.

* gnu/packages/xfce.scm (xcfe4-panel): Update to 4.14.0
[arguments] Remove #:configure-flags
[native-inputs] Add glib:bin.
[inputs] Add gtk+-2, libwnck and xfconf. Remove libwnck-2.
[propagated-inputs] Add gtk+-3.

* gnu/packages/xfce.scm (xfce4-session): Update to 4.14.0.
[inputs] Add libwnck. Remove libwnck-2.
[source] Remove patch.
* gnu/packages/patches/xfce4-session-fix-xfclock4.patch: Delete file.

* gnu/packages/xfce.scm (xfce4-settings): Update to 4.14.0.
[arguments] Add #:configure flags.

* gnu/packages/xfce.scm (xfwm4): Update to 4.14.0.
[inputs] Add libwnck. Remove libwnck-2.

* gnu/packages/xfce.scm (xfdesktop): Update to 4.14.1.
[inputs] Add libwnck. Remove libwnck-2.

* gnu/packages/xfce.scm (xfce4-power-manager): Update to 4.6.5.
[inputs] Add gtk+. Remove gtk+-2.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:45:29 +02:00
Guillaume Le Vaillant 97ce5964fb
gnu: ironclad: Update to 0.46.
* gnu/packages/lisp.scm (sbcl-ironclad): Update to 0.46.
  [source]: Fix file-name.
  [inputs]: Add bordeaux-threads dependency.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:24:48 +02:00
Guillaume Le Vaillant 37c08f42f7
gnu: txr: Update to 224.
* gnu/packages/lisp.scm (txr): Update to 224.
  [source]: Use git-fetch instead of fetching a cgit snapshot.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:22:22 +02:00
L p R n d n 5f39050b1e
gnu: libxklavier: Update to 5.4.
* gnu/packages/gnome.scm (libxklavier): Update to 5.4.
[source] Switch to git source.
[arguments] Add no-configure phase. Disable xmodmap in #:configure-flags.
[inputs] Add which, intltool, gtk-doc, which, automake, autoconf and libtool.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-09-01 22:21:17 +02:00
Tobias Geerinckx-Rice 5042f33e3b
gnu: cdemu-client: Update to 3.2.3.
* gnu/packages/cdrom.scm (cdemu-client): Update to 3.2.3.
2019-09-01 18:27:02 +02:00
Tobias Geerinckx-Rice 8232f05357
gnu: cdemu-daemon: Update to 3.2.3.
* gnu/packages/cdrom.scm (cdemu-daemon): Update to 3.2.3.
2019-09-01 18:27:02 +02:00
Tobias Geerinckx-Rice 0000b6dc74
gnu: libmirage: Update to 3.2.3.
* gnu/packages/cdrom.scm (libmirage): Update to 3.2.3.
2019-09-01 18:27:01 +02:00
Tobias Geerinckx-Rice 853232e60a
gnu: vhba-module: Update to 20190831.
* gnu/packages/linux.scm (vhba-module): Update to 20190831.
2019-09-01 18:27:01 +02:00
Tobias Geerinckx-Rice 5706fd7933
gnu: i3-wm: Update to 4.17.1.
* gnu/packages/wm.scm (i3-wm): Update to 4.17.1.
2019-09-01 18:27:01 +02:00
Tobias Geerinckx-Rice 08e46d8d05
gnu: hplip: Update to 3.19.8.
* gnu/packages/cups.scm (hplip): Update to 3.19.8.
[arguments]: Remove type mismatch fix.
2019-09-01 18:27:01 +02:00
Rutger Helling 8cb2f0ff2b
gnu: retroarch: Update hash.
* gnu/packages/emulators.scm (retroarch): Update hash (due to bugfix release).
2019-09-01 15:06:10 +02:00
Oleg Pykhalov 5db9d10dfd
gnu: emacs-gif-screencast: Fix gifsicle substitution.
* gnu/packages/emacs-xyz.scm (emacs-gif-screencast)[arguments]: In the
'configure' phase, fix the gifsicle substitution.
2019-09-01 12:17:30 +03:00
Ludovic Courtès aa0f683462
gnu: cedille: Adjust import list.
This is a followup to dddbc90c64.

* gnu/packages/cedille.scm: Use (gnu packages haskell-xyz).
2019-09-01 00:13:28 +02:00
Steve Sprang 2c0040ae30
gnu: Add lib3mf.
* gnu/packages/engineering.scm (lib3mf): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-31 21:04:09 +02:00
Steve Sprang 4cb5d2515c
gnu: Add speedcrunch.
* gnu/packages/maths.scm (speedcrunch): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-08-31 21:04:08 +02:00
Robert Vollmert 1874cdc1e1
gnu: Move Haskell SDL 2 packages to haskell-xyz.scm.
* gnu/packages/haskell-apps.scm (ghc-sdl2, ghc-sdl2-image,
ghc-sdl2-mixer): Move variables from here...
* gnu/packages/haskell-xyz.scm: ...to here.

Co-authored-by: Timothy Sample <samplet@ngyro.com>
2019-08-31 09:25:49 -04:00
Robert Vollmert dddbc90c64
gnu: Move non-compilers out of haskell.scm.
* gnu/packages/haskell.scm (ghc-abstract-deque, ghc-abstract-par,
ghc-adjunctions, ghc-aeson-compat, ghc-alex, ghc-alsa-core,
ghc-annotated-wl-pprint, ghc-ansi-terminal, ghc-ansi-wl-pprint,
ghc-appar, ghc-async, ghc-atomic-write, ghc-attoparsec,
ghc-attoparsec-bootstrap, ghc-attoparsec-iso8601, ghc-auto-update,
ghc-aws, ghc-base16-bytestring, ghc-base64-bytestring, ghc-base-compat,
ghc-basement, ghc-base-orphans, ghc-base-prelude,
ghc-base-unicode-symbols, ghc-bifunctors, ghc-bindings-dsl,
ghc-blaze-builder, ghc-blaze-markup, ghc-bloomfilter, ghc-boxes,
ghc-byteable, ghc-byteorder, ghc-bytes, ghc-bytestring-builder,
ghc-bytestring-handle, ghc-bytestring-lexing, ghc-bzlib-conduit,
ghc-c2hs, ghc-cairo, ghc-call-stack, ghc-call-stack-boot,
ghc-case-insensitive, ghc-cereal, ghc-cereal-conduit, ghc-cgi,
ghc-charset, ghc-chart, ghc-chart-cairo, ghc-chasingbottoms,
ghc-cheapskate, ghc-chell, ghc-chell-quickcheck, ghc-chunked-data,
ghc-clock, ghc-clock-bootstrap, ghc-cmark, ghc-cmark-gfm, ghc-cmdargs,
ghc-code-page, ghc-colour, ghc-comonad, ghc-concatenative,
ghc-concurrent-output, ghc-conduit, ghc-conduit-algorithms,
ghc-conduit-combinators, ghc-conduit-extra, ghc-configurator,
ghc-connection, ghc-constraints, ghc-contravariant,
ghc-contravariant-extras, ghc-convertible, ghc-data-accessor,
ghc-data-accessor-transformers, ghc-data-default,
ghc-data-default-class, ghc-data-default-instances-base,
ghc-data-default-instances-containers, ghc-data-default-instances-dlist,
ghc-data-default-instances-old-locale, ghc-data-hash, ghc-data-ordlist,
ghc-deepseq-generics, ghc-descriptive, ghc-diff, ghc-disk-free-space,
ghc-distributive, ghc-dlist, ghc-doctemplates, ghc-doctest,
ghc-double-conversion, ghc-easy-file, ghc-easyplot, ghc-echo,
ghc-edisonapi, ghc-edisoncore, ghc-edit-distance, ghc-either,
ghc-email-validate, ghc-enclosed-exceptions, ghc-equivalence, ghc-erf,
ghc-errorcall-eq-instance, ghc-errors, ghc-esqueleto, ghc-exactprint,
ghc-exceptions, ghc-executable-path, ghc-extensible-exceptions,
ghc-extra, ghc-fail, ghc-fast-logger, ghc-feed, ghc-fgl,
ghc-fgl-arbitrary, ghc-file-embed, ghc-filemanip, ghc-findbin,
ghc-fingertree, ghc-fixed, ghc-foldl, ghc-foundation, ghc-free,
ghc-fsnotify, ghc-generic-deriving, ghc-generics-sop,
ghc-geniplate-mirror, ghc-genvalidity, ghc-genvalidity-property,
ghc-gitrev, ghc-glob, ghc-gluraw, ghc-glut, ghc-gnuplot, ghc-graphviz,
ghc-gtk2hs-buildtools, ghc-hackage-security, ghc-haddock,
ghc-haddock-api, ghc-haddock-library, ghc-half, ghc-happy, ghc-hashable,
ghc-hashable-bootstrap, ghc-hashable-time, ghc-hashtables,
ghc-haskell-lexer, ghc-haskell-src, ghc-haskell-src-exts,
ghc-haskell-src-exts-util, ghc-haskell-src-meta, ghc-hasktags, ghc-hex,
ghc-highlighting-kate, ghc-hindent, ghc-hinotify, ghc-hmatrix,
ghc-hmatrix-gsl, ghc-hmatrix-gsl-stats, ghc-hmatrix-special,
ghc-hostname, ghc-hourglass, ghc-hpack, ghc-hs-bibutils, ghc-hslogger,
ghc-hslua, ghc-hslua-module-text, ghc-http-api-data, ghc-ieee754,
ghc-ifelse, ghc-indents, ghc-inline-c, ghc-inline-c-cpp,
ghc-integer-logarithms, ghc-integer-logarithms-bootstrap,
ghc-interpolate, ghc-intervalmap, ghc-invariant, ghc-iproute, ghc-iwlib,
ghc-json, ghc-juicypixels, ghc-kan-extensions, ghc-language-c,
ghc-language-haskell-extract, ghc-lens, ghc-libffi, ghc-libmpd,
ghc-libxml, ghc-lifted-async, ghc-lifted-base, ghc-linear,
ghc-logging-facade, ghc-logict, ghc-lzma, ghc-lzma-conduit,
ghc-markdown-unlit, ghc-math-functions, ghc-megaparsec, ghc-memory,
ghc-memotrie, ghc-microlens, ghc-microlens-ghc, ghc-microlens-mtl,
ghc-microlens-platform, ghc-microlens-th, ghc-missingh, ghc-mmap,
ghc-mmorph, ghc-mockery, ghc-monad-control, ghc-monad-logger,
ghc-monad-loops, ghc-monad-par, ghc-monad-par-extras, ghc-monadplus,
ghc-monadrandom, ghc-monads-tf, ghc-mono-traversable, ghc-murmur-hash,
ghc-mwc-random, ghc-nats, ghc-nats-bootstrap, ghc-network,
ghc-network-info, ghc-network-uri, ghc-newtype-generics, ghc-objectname,
ghc-old-locale, ghc-old-time, ghc-opengl, ghc-openglraw,
ghc-operational, ghc-options, ghc-optparse-applicative, ghc-pandoc,
ghc-pandoc-citeproc, ghc-pandoc-types, ghc-parallel, ghc-parsec-numbers,
ghc-parser-combinators, ghc-parsers, ghc-path, ghc-path-io, ghc-paths,
ghc-patience, ghc-pcre-light, ghc-persistent, ghc-persistent-sqlite,
ghc-persistent-template, ghc-polyparse, ghc-pqueue, ghc-prelude-extras,
ghc-pretty-hex, ghc-pretty-show, ghc-primitive, ghc-profunctors,
ghc-psqueues, ghc-random, ghc-raw-strings-qq, ghc-rebase, ghc-reducers,
ghc-refact, ghc-reflection, ghc-regex, ghc-regex-applicative,
ghc-regex-base, ghc-regex-compat, ghc-regex-compat-tdfa,
ghc-regex-pcre-builtin, ghc-regex-posix, ghc-regex-tdfa,
ghc-regex-tdfa-text, ghc-rerebase, ghc-resolv, ghc-resource-pool,
ghc-resourcet, ghc-rfc5051, ghc-rio, ghc-safe, ghc-safe-exceptions,
ghc-safeio, ghc-safesemaphore, ghc-sandi, ghc-scientific,
ghc-scientific-bootstrap, ghc-sdl, ghc-sdl-image, ghc-sdl-mixer,
ghc-securemem, ghc-semigroupoids, ghc-semigroups,
ghc-semigroups-bootstrap, ghc-setenv, ghc-setlocale, ghc-shakespeare,
ghc-shelly, ghc-silently, ghc-simple-reflect, ghc-simple-sendfile,
ghc-skylighting-core, ghc-skylighting, ghc-smallcheck, ghc-socks,
ghc-split, ghc-statevar, ghc-statistics, ghc-stm-chans, ghc-stm-conduit,
ghc-stmonadtrans, ghc-storable-complex, ghc-streaming-commons,
ghc-strict, ghc-stringbuilder, ghc-string-qq, ghc-stringsearch,
ghc-stylish-haskell, ghc-syb, ghc-system-fileio, ghc-system-filepath,
ghc-tagged, ghc-tar, ghc-temporary, ghc-temporary-rc, ghc-terminal-size,
ghc-texmath, ghc-text-binary, ghc-tf-random, ghc-th-abstraction,
ghc-th-expand-syns, ghc-th-lift, ghc-th-lift-instances, ghc-th-orphans,
ghc-th-reify-many, ghc-time-locale-compat, ghc-tldr,
ghc-transformers-base, ghc-transformers-compat, ghc-tree-diff,
ghc-trifecta, ghc-tuple-th, ghc-typed-process, ghc-unbounded-delays,
ghc-unexceptionalio, ghc-union-find, ghc-uniplate, ghc-unix-compat,
ghc-unix-time, ghc-unliftio, ghc-unliftio-core,
ghc-unordered-containers, ghc-unordered-containers-bootstrap,
ghc-uri-bytestring, ghc-utf8-string, ghc-utility-ht, ghc-uuid,
ghc-uuid-types, ghc-validation, ghc-validity, ghc-vault, ghc-vector,
ghc-vector-algorithms, ghc-vector-binary-instances, ghc-vector-builder,
ghc-vector-th-unbox, ghc-void, ghc-wave, ghc-wcwidth,
ghc-wcwidth-bootstrap, ghc-weigh, ghc-wl-pprint,
ghc-wl-pprint-annotated, ghc-wl-pprint-text, ghc-word8, ghc-x11,
ghc-x11-xft, ghc-xdg-basedir, ghc-xml, ghc-xml-conduit, ghc-xml-types,
ghc-yaml, ghc-zip-archive, ghc-zlib): Move variables from here...
* gnu/packages/haskell-xyz.scm: ...to here.
* gnu/packages/agda.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/cran.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/games.scm,
gnu/packages/graphics.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-check.scm,
gnu/packages/idris.scm,
gnu/packages/statistics.scm,
gnu/packages/wm.scm: Update module references.

Co-authored-by: Timothy Sample <samplet@ngyro.com>
2019-08-31 09:25:49 -04:00
Robert Vollmert 1ba35ab723
gnu: cabal-doctest: Move to haskell-check.scm.
* gnu/packages/haskell.scm (cabal-doctest): Move variable from here...
* gnu/packages/haskell-check.scm: ...to here.

Co-authored-by: Timothy Sample <samplet@ngyro.com>
2019-08-31 09:25:48 -04:00