fa5d6e4c6f
gnu: ocaml-4.01: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-4.01)[arguments]: Use INVOKE in build phases.
2019-01-25 13:23:27 +01:00
bb29e855da
gnu: ocaml-4.02: Use INVOKE.
...
* gnu/packages/ocaml.scm (ocaml-4.02)[arguments]: Use INVOKE in build phases.
2019-01-25 13:22:34 +01:00
20fe9728c4
gnu: tomsfastmath: Use INVOKE.
...
* gnu/packages/multiprecision.scm (tomsfastmath)[arguments]: Use INVOKE in
"check" phase.
2019-01-25 13:21:20 +01:00
6542b2db5d
gnu: freetalk: Remove custom bootstrap phase.
...
* gnu/packages/messaging.scm (freetalk)[arguments]: Remove "autogen" phase.
2019-01-25 13:21:20 +01:00
3fa013af78
gnu: perl-net-psyc: Update to 1.3.
...
* gnu/packages/messaging.scm (perl-net-psyc): Update to 1.3.
[native-inputs]: Add unzip.
[arguments]: Use INVOKE in build phase.
2019-01-25 13:21:20 +01:00
b11af07a29
gnu: dino: Update to 0.0-4.8e14ac6.
...
* gnu/packages/messaging.scm (dino): Update to 0.0-4.8e14ac6.
[arguments]: Use INVOKE in build phases.
[inputs]: Add qrencode; replace sqlite with sqlite-with-column-metadata.
2019-01-25 13:21:20 +01:00
e6a24cd08b
gnu: bitlbee-discord: Do not run autogen.sh in custom autogen phase.
...
* gnu/packages/messaging.scm (bitlbee-discord)[arguments]: Rename "autogen"
phase to "patch-autogen"; don't invoke "autogen.sh" script as it is invoked in
the "bootstrap" phase; return #T from "patch-autogen" phase.
2019-01-25 13:21:20 +01:00
bea06837a3
gnu: bitlbee: Use INVOKE.
...
* gnu/packages/messaging.scm (bitlbee)[arguments]: Use INVOKE.
2019-01-25 13:21:20 +01:00
7d416066cd
gnu: ccl: Unconditionally return #T from build phases.
...
* gnu/packages/lisp.scm (ccl)[arguments]: Use INVOKE and return #T from build
phases.
2019-01-25 13:21:20 +01:00
4c523c4535
gnu: python-lirc: Update to 1.2.1-2.c28708b.
...
* gnu/packages/lirc.scm (python-lirc, python2-lirc): Update to
1.2.1-2.c28708b.
[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
9a425d68d4
gnu: python-pygpgme: Use INVOKE.
...
* gnu/packages/gnupg.scm (python-pygpgme)[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
cba8ba8b0d
gnu: brdf-explorer: Unconditionally return #T from build phases.
...
* gnu/packages/graphics.scm (brdf-explorer)[arguments]: Use INVOKE and return #T.
2019-01-25 13:21:19 +01:00
ec7245f0db
gnu: ncftp: Use INVOKE.
...
* gnu/packages/ftp.scm (ncftp)[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
15dc8ed5f4
gnu: libxdg-basedir: Don't run autogen.sh manually.
...
* gnu/packages/freedesktop.scm (libxdg-basedir)[arguments]: Rename "autogen"
phase to "patch-autogen"; remove invocation of "autogen.sh" script as it will
be executed in the "bootstrap" phase.
2019-01-25 13:21:19 +01:00
fbc70c97c6
gnu: entr: Update to 4.1.
...
* gnu/packages/entr.scm (entr): Update to 4.1.
[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
7492af9be7
gnu: coq-interval: Use INVOKE.
...
* gnu/packages/coq.scm (coq-interval)[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
e09e83880f
gnu: coq-coquelicot: Use INVOKE.
...
* gnu/packages/coq.scm (coq-coquelicot)[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
1530b17aa1
gnu: imb: Use INVOKE.
...
* gnu/packages/benchmark.scm (imb)[arguments]: Use INVOKE.
2019-01-25 13:21:19 +01:00
843ce5b419
gnu: synergy: Update to 1.10.1.
...
* gnu/packages/synergy.scm (synergy): Update to 1.10.1.
[source]: Fetch from git.
[arguments]: Remove "unpack-aux-src", custom "check" phase, custom "install"
phase.
[inputs]: Add avahi and qtbase.
2019-01-25 13:21:19 +01:00
0ad0eceed4
gnu: antiword: Use INVOKE.
...
* gnu/packages/textutils.scm (antiword)[arguments]: Use INVOKE in install phase.
2019-01-25 13:21:19 +01:00
90621eff7c
gnu: uucp: Use INVOKE.
...
* gnu/packages/uucp.scm (uucp)[arguments]: Use INVOKE.
2019-01-25 13:21:18 +01:00
aa0c73e7aa
gnu: wicd: Use INVOKE.
...
* gnu/packages/wicd.scm (wicd)[arguments]: Use INVOKE.
2019-01-25 13:21:18 +01:00
b5e70d921b
gnu: awesome: Use INVOKE.
...
* gnu/packages/wm.scm (awesome)[arguments]: Return #T from check phase.
2019-01-25 13:21:18 +01:00
215ccb997a
gnu: xfconf: Use INVOKE.
...
* gnu/packages/xfce.scm (xfconf)[arguments]: Unconditionally return #T from
check phase.
2019-01-25 13:21:18 +01:00
35faa00686
gnu: libnl: Unconditionally return #T from build phases.
...
* gnu/packages/linux.scm (libnl)[arguments]: Use INVOKE and unconditionally
return #T from all build phases.
2019-01-25 13:21:18 +01:00
492ee4f83b
gnu: coq-mathcomp: Use INVOKE.
...
* gnu/packages/coq.scm (coq-mathcomp)[arguments]: Unconditionally return #T
from build phases.
2019-01-25 13:21:18 +01:00
ace73a93cd
gnu: coq-gappa: Use INVOKE.
...
* gnu/packages/coq.scm (coq-gappa)[arguments]: Unconditionally return #T from
build phases by using INVOKE.
2019-01-25 13:21:18 +01:00
a48d6acc23
gnu: proof-general: Use INVOKE.
...
* gnu/packages/coq.scm (proof-general)[arguments]: Use INVOKE in build phases.
2019-01-25 13:21:18 +01:00
8543ccf87b
gnu: eschalot: Use INVOKE.
...
* gnu/packages/crypto.scm (eschalot)[arguments]: Unconditionally return #T
from check phase.
2019-01-25 13:21:18 +01:00
e60b3e14a1
gnu: ansible: Update to 2.7.6.
...
* gnu/packages/admin.scm (ansible): Update to 2.7.6.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2019-01-25 14:09:05 +05:30
ea32c94698
gnu: emacspeak: Update to 49.0.
...
* gnu/packages/emacs.scm (emacspeak): Update to 49.0.
[arguments]: In the 'install' phase, fix the launch script substitution.
2019-01-24 23:57:32 -05:00
5c1c1716f5
gnu: cmst: Use INVOKE.
...
* gnu/packages/connman.scm (cmst)[arguments]: Unconditionally return #T from
build phases.
2019-01-24 23:10:25 +01:00
e99b47729a
gnu: sloccount: Use INVOKE.
...
* gnu/packages/code.scm (sloccount)[arguments]: Use INVOKE and unconditionally
return #T from build phases.
2019-01-24 23:08:09 +01:00
c28bf42f2a
gnu: axoloti-patcher: Use INVOKE.
...
* gnu/packages/axoloti.scm (axoloti-patcher)[arguments]: Use INVOKE and
unconditionally return #T from build phase.
2019-01-24 23:07:10 +01:00
1ae04a2acc
gnu: axoloti-runtime: Use INVOKE.
...
* gnu/packages/axoloti.scm (axoloti-runtime)[arguments]: Use INVOKE and return
#T from build phases unconditionally.
2019-01-24 23:06:33 +01:00
6e59d91af1
gnu: clamav: Unconditionally return #T from build phase.
...
* gnu/packages/antivirus.scm (clamav)[arguments]: Use INVOKE.
2019-01-24 21:18:11 +01:00
bdd914af00
gnu: anthy: Unconditionally return #T from check phase.
...
* gnu/packages/anthy.scm (anthy)[arguments]: Use INVOKE.
2019-01-24 21:18:11 +01:00
562a077683
gnu: git-repo: Unconditionally return #T from "check" phase.
...
* gnu/packages/android.scm (git-repo)[arguments]: Use INVOKE.
2019-01-24 21:18:11 +01:00
50233d9570
gnu: flint: Unconditionally return #T from build phases.
...
* gnu/packages/algebra.scm (flint)[arguments]: Use INVOKE in "configure"
phases.
2019-01-24 21:18:11 +01:00
f1618a0f2f
gnu: milkytracker: Add RtMidi and zziplib support.
...
* gnu/packages/music.scm (milkytracker)[inputs]: Add rtmidi and zziplib.
2019-01-24 12:30:45 -05:00
acfb735787
gnu: cdogs-sdl: Update to 0.6.9.
...
* gnu/packages/games.scm (cdogs-sdl): Update to 0.6.9.
2019-01-24 10:30:42 -05:00
67f39dd514
gnu: pari-gp: Address TeX errors.
...
* gnu/packages/algebra.scm (pari-gp)[native-inputs]: Replace texlive-tiny with
texlive-union of texlive-fonts-amsfonts and texlive-latex-amsfonts.
[arguments]: Use INVOKE in configure phase.
2019-01-24 13:46:39 +01:00
fe2bfabe8b
gnu: texlive-fonts-amsfonts: Build more fonts.
...
* gnu/packages/tex.scm (texlive-fonts-amsfonts)[arguments]: Convert afm files
to tfm; also build missing tfm files via fontinst.
[native-inputs]: Replace texlive-fonts-cm, texlive-metafont-base, and
texlive-bin with a texlive-union of texlive-tex-fontinst-base,
texlive-fonts-cm, and texlive-metafont-base; add amsfonts-plain, amsfonts-map,
and amsfonts-afm.
2019-01-24 13:46:39 +01:00
513fff4c04
gnu: Add texlive-tex-fontinst-base.
...
* gnu/packages/tex.scm (texlive-tex-fontinst-base): New variable.
2019-01-24 13:46:39 +01:00
bae65dc45f
gnu: texlive-latex-fancyvrb: Build fvrb-ex.
...
* gnu/packages/tex.scm (texlive-latex-fancyvrb)[arguments]: Supply
tex-format.
2019-01-24 13:46:39 +01:00
26a0506104
gnu: texlive-fonts-cm: Build bitmap fonts at 600dpi.
...
* gnu/packages/tex.scm (texlive-fonts-cm)[arguments]: Build pk files and
install them.
2019-01-24 13:46:39 +01:00
6858ade2e5
gnu: texlive-latex-base: Put fewer paths on TEXINPUTS.
...
* gnu/packages/tex.scm (texlive-latex-base)[arguments]: Use double slash for
recursive directory search instead of FIND-FILES.
2019-01-24 13:46:39 +01:00
e2f47efee6
gnu: catimg: Simplify.
...
* gnu/packages/image-viewers.scm (catimg)[arguments]: Rename custom
"configure" phase to "patch-convert"; remove custom "build" phase; move
"install-script" phase after "install"; simplify phases.
2019-01-24 13:46:38 +01:00
d39a54ff72
gnu: wine: Hard-code vulkan loader.
...
* gnu/packages/wine.scm (wine)[arguments]: Add 'wrap-executable phase.
* gnu/packages/wine.scm (wine64)[arguments]: Add 'wrap-executable
phase. Copy the real wine-preloader instead of the wrapped version.
* gnu/packages/wine.scm (wine-minimal)[arguments]: Don't inherit phases. Add
'patch-dlopen-paths phase.
2019-01-24 11:01:50 +01:00
e3b1d4ea6e
gnu: wine: Add vkd3d support.
...
* gnu/packages/wine.scm (wine)[inputs]: Add vkd3d.
* gnu/packages/wine.scm (wine-staging)[inputs]: Remove vkd3d, inherit from
wine instead.
2019-01-24 09:36:00 +01:00
dcf6df43ab
gnu: vkd3d: Use wine-minimal.
...
* gnu/packages/vulkan.scm (vkd3d): Use wine-minimal instead of wine.
2019-01-24 09:36:00 +01:00
a5466f38c1
gnu: Add wine-minimal.
...
* gnu/packages/wine.scm (wine-minimal): New variable.
2019-01-24 09:35:59 +01:00
af83d59ed5
gnu: certbot, python-acme: Update to 0.30.0.
...
* gnu/packages/tls.scm (certbot, python-acme): Update to 0.30.0.
2019-01-24 01:45:17 -05:00
ae283c184a
gnu: gnucash-docs: Fix source URI.
...
The source URI was renamed from "gnucash-docs-3.4-1.tar.gz" to
"gnucash-docs-3.4a.tar.gz". The content is identical since the hash hasn't
changed.
* gnu/packages/gnucash.scm (gnucash-docs)[source]: Update URI to match
upstream change.
2019-01-23 23:09:40 -05:00
5ccf3dd0a1
gnu: linux-libre@4.14: Update to 4.14.95.
...
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.95.
(%linux-libre-4.14-hash): Update hash.
2019-01-23 21:51:21 -05:00
02493dfa13
gnu: linux-libre@4.9: Update to 4.9.152.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.152.
2019-01-23 21:50:35 -05:00
ff0b73028c
gnu: linux-libre: Make CRYPTO_CRC32C a built-in on arm64.
...
Fixes <https://bugs.gnu.org/34162 >
Reported by Vagrant Cascadian <vagrant@debian.org>
Note that CRYPTO_CRC32C was already a built-in in our default
configurations for other systems.
* gnu/packages/aux-files/linux-libre/4.20-arm64.conf,
gnu/packages/aux-files/linux-libre/4.19-arm64.conf
(CONFIG_CRYPTO_CRC32C): Change from 'm' to 'y'.
2019-01-23 21:32:14 -05:00
ea7fa78a74
gnu: Add ghc-c2hs.
...
* gnu/packages/haskell.scm (ghc-c2hs): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-01-23 23:35:12 +01:00
5bbb04f9d1
gnu: Add emacs-xwidgets.
...
* gnu/packages/emacs.scm (emacs-xwidgets): new variable
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-01-23 23:35:12 +01:00
1d209d06ed
gnu: Add ocaml-craml.
...
* gnu/packages/ocaml.scm (ocaml-craml): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:51:14 +01:00
ca53346dd5
gnu: ocaml-cmdliner: Update to 1.0.2.
...
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:51:09 +01:00
cdcbccd17c
gnu: ocaml-fmt: Update to 0.8.5.
...
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.5.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:50:56 +01:00
f0dece30b4
gnu: ocaml-uchar: Update to 0.0.2.
...
* gnu/packages/ocaml.scm (ocaml-uchar): Update to 0.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-01-23 21:50:48 +01:00
5d3f16e438
gnu: geeqie: Use GTK+ 3.
...
* gnu/packages/image-viewers.scm (geeqie)[inputs]: Replace gtk+-2 with gtk+.
2019-01-23 21:42:48 +01:00
027f97b13f
gnu: geeqie: Remove custom bootstrap phase.
...
* gnu/packages/image-viewers.scm (geeqie)[arguments]: Remove invocation of
autogen.sh script; rename "autogen" phase to "pre-bootstrap".
2019-01-23 21:40:42 +01:00
f67cb8eb8c
gnu: cdrtools: Remove custom build and install phases.
...
* gnu/packages/cdrom.scm (cdrtools)[arguments]: Add make-flags; remove custom
"build" and "install" phases.
2019-01-23 21:34:16 +01:00
77e61e25c2
gnu: python2-scientific: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-scientific)[arguments]: Unconditionally
return #T from "build" phase.
2019-01-23 18:39:56 +01:00
ac599a0999
gnu: python-flasgger: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-flasgger)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:39:42 +01:00
204ad455ec
gnu: python2-larch: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-larch)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:39:22 +01:00
cbeee88181
gnu: python2-ttystatus: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-ttystatus)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:39:07 +01:00
6c826d3278
gnu: python2-cliapp: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-cliapp)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:38:44 +01:00
f987ac307b
gnu: python2-ruamel.ordereddict: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-ruamel.ordereddict)[arguments]:
Unconditionally return #T from "check" phase.
2019-01-23 18:38:29 +01:00
ee2bb94432
gnu: python-pbkdf2: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-pbkdf2)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:38:13 +01:00
831080a69b
gnu: python-termstyle: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-termstyle)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:37:59 +01:00
6568bd5df2
gnu: python-validictory: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-validictory)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:37:42 +01:00
c988afda6f
gnu: python-colorspacious: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-colorspacious)[arguments]:
Unconditionally return #T from "check" phase.
2019-01-23 18:37:19 +01:00
4fc898dad9
gnu: python-numpy-documentation: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-numpy-documentation)[arguments]:
Use INVOKE instead of SYSTEM*.
2019-01-23 18:32:27 +01:00
38ec0f6adc
gnu: python-spectra: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-spectra)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:26:25 +01:00
d79e0b3a03
gnu: emacs-elpy: Update to 1.28.0.
...
* gnu/packages/emacs-xyz.scm (emacs-elpy): Update to 1.28.0.
2019-01-23 12:20:21 -05:00
40bd0aa37b
gnu: python-jedi: Update to 0.13.2.
...
* gnu/packages/python-xyz.scm (python-jedi): Update to 0.13.2.
2019-01-23 12:20:21 -05:00
dfafc29bcf
gnu: python2-pystache: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-pystache)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:16:49 +01:00
8d46679951
gnu: python-jsonschema: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-jsonschema)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:14:22 +01:00
93e7b2099b
gnu: python-netcdf4: Update to 1.4.2.
...
* gnu/packages/python-xyz.scm (python-netcdf4): Update to 1.4.2.
[arguments]: Remove custom "check" phase; add "configure-locations" phase.
[propagated-inputs]: Add python-cftime.
2019-01-23 18:13:30 +01:00
d362b11d2a
gnu: Add python-cftime.
...
* gnu/packages/python-xyz.scm (python-cftime): New variable.
2019-01-23 18:13:30 +01:00
e253b94dc6
gnu: Add python-coveralls.
...
* gnu/packages/python-check.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2019-01-23 18:13:30 +01:00
8b89dedc37
gnu: Add python-sh.
...
* gnu/packages/python-xyz.scm (python-sh): New variable.
2019-01-23 18:13:30 +01:00
21ccc01d4c
gnu: python-odfpy: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-odfpy)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:30 +01:00
49ff882740
gnu: python-faker: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-faker)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:30 +01:00
e59dd3415d
gnu: python-rarfile: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-rarfile)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:30 +01:00
40b8c4e34d
gnu: python2-ipaddr: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-ipaddr)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:30 +01:00
35d79d6103
gnu: python-tables: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-tables)[arguments]: Unconditionally
return #T from "check" and "build" phases.
2019-01-23 18:13:30 +01:00
45fd0081ec
gnu: python-xlrd: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-xlrd)[arguments]: Unconditionally return
#T from "check" phase.
2019-01-23 18:13:30 +01:00
2d7db19226
gnu: python-cram: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-cram)[arguments]: Unconditionally return
#T from "check" phase.
2019-01-23 18:13:30 +01:00
7904d6fa2c
gnu: python-ptyprocess: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-ptyprocess)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:30 +01:00
4f0a089479
gnu: python-flake8-polyfill: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-flake8-polyfill)[arguments]:
Unconditionally return #T form "check" phase.
2019-01-23 18:13:29 +01:00
4a4a7d9ad6
gnu: python2-backports-shutil-get-terminal-size: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python2-backports-shutil-get-terminal-size)
[arguments]: Unconditionally return #T from "check" phase.
2019-01-23 18:13:29 +01:00
5d7a6f1cea
gnu: python-mpmath: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-mpmath)[arguments]: Unconditionally
return #T in "check" phase.
2019-01-23 18:13:29 +01:00
dff0197e60
gnu: python-beautifulsoup4: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-beautifulsoup4)[arguments]:
Unconditionally return #T from "check" phase.
2019-01-23 18:13:29 +01:00
95b707fb46
gnu: python-honcho: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-honcho)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:29 +01:00
acb75c0328
gnu: python-pycparser: Use INVOKE.
...
* gnu/packages/python-xyz.scm (python-pycparser)[arguments]: Unconditionally
return #T from "check" phase.
2019-01-23 18:13:29 +01:00
Ricardo Wurmus