me
/
guix
Archived
1
0
Fork 0
Commit Graph

1767 Commits (7850fa891dfc3a1c727b62d44e60562bc7f39c44)

Author SHA1 Message Date
Ricardo Wurmus 40561d0249
gnu: r-hdf5array: Update to 1.10.1.
* gnu/packages/bioinformatics.scm (r-hdf5array): Update to 1.10.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus ad10b3979d
gnu: r-qvalue: Update to 2.14.1.
* gnu/packages/bioinformatics.scm (r-qvalue): Update to 2.14.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 19cacb5a2d
gnu: r-gviz: Update to 1.26.4.
* gnu/packages/bioinformatics.scm (r-gviz): Update to 1.26.4.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus c80595935d
gnu: r-biovizbase: Update to 1.30.1.
* gnu/packages/bioinformatics.scm (r-biovizbase): Update to 1.30.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 27194effd7
gnu: r-ensembldb: Update to 2.6.3.
* gnu/packages/bioinformatics.scm (r-ensembldb): Update to 2.6.3.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 43931ff72f
gnu: r-dirichletmultinomial: Update to 1.24.1.
* gnu/packages/bioinformatics.scm (r-dirichletmultinomial): Update to 1.24.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 15d89fe9f8
gnu: r-gage: Update to 2.32.1.
* gnu/packages/bioinformatics.scm (r-gage): Update to 2.32.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 4615cf9f1a
gnu: r-annotationhub: Update to 2.14.2.
* gnu/packages/bioinformatics.scm (r-annotationhub): Update to 2.14.2.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus ab4a862ab8
gnu: r-edaseq: Update to 2.16.3.
* gnu/packages/bioinformatics.scm (r-edaseq): Update to 2.16.3.
[propagated-inputs]: Add r-biocmanager.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 3bdc41b352
gnu: r-deseq: Update to 1.34.1.
* gnu/packages/bioinformatics.scm (r-deseq): Update to 1.34.1.
2019-01-12 23:35:18 +01:00
Ricardo Wurmus 9abf344f8b
gnu: r-msnid: Update to 1.16.1.
* gnu/packages/bioinformatics.scm (r-msnid): Update to 1.16.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 880ed11e9f
gnu: r-msnbase: Update to 2.8.3.
* gnu/packages/bioinformatics.scm (r-msnbase): Update to 2.8.3.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 6451af78e1
gnu: r-mzid: Update to 1.20.1.
* gnu/packages/bioinformatics.scm (r-mzid): Update to 1.20.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus a4f038dc97
gnu: r-mzr: Update to 2.16.1.
* gnu/packages/bioinformatics.scm (r-mzr): Update to 2.16.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 46508c3a92
gnu: r-sva: Update to 3.30.1.
* gnu/packages/bioinformatics.scm (r-sva): Update to 3.30.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus c20426ec5c
gnu: r-methylkit: Update to 1.8.1.
* gnu/packages/bioinformatics.scm (r-methylkit): Update to 1.8.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 5c72ebafeb
gnu: r-copywriter: Update to 2.14.1.
* gnu/packages/bioinformatics.scm (r-copywriter): Update to 2.14.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 86162c767e
gnu: r-rhdf5: Update to 2.26.2.
* gnu/packages/bioinformatics.scm (r-rhdf5): Update to 2.26.2.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 4c7b9222dd
gnu: r-tximport: Update to 1.10.1.
* gnu/packages/bioinformatics.scm (r-tximport): Update to 1.10.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 4bfde52178
gnu: r-genomicalignments: Update to 1.18.1.
* gnu/packages/bioinformatics.scm (r-genomicalignments): Update to 1.18.1.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 1fa12b2f06
gnu: r-biostrings: Update to 2.50.2.
* gnu/packages/bioinformatics.scm (r-biostrings): Update to 2.50.2.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus d4fc834cf7
gnu: r-biocparallel: Update to 1.16.5.
* gnu/packages/bioinformatics.scm (r-biocparallel): Update to 1.16.5.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 52c977a05b
gnu: r-limma: Update to 3.38.3.
* gnu/packages/bioinformatics.scm (r-limma): Update to 3.38.3.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 3fd48846eb
gnu: r-variantannotation: Update to 1.28.8.
* gnu/packages/bioinformatics.scm (r-variantannotation): Update to 1.28.8.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus a619850930
gnu: r-edger: Update to 3.24.3.
* gnu/packages/bioinformatics.scm (r-edger): Update to 3.24.3.
2019-01-12 23:35:17 +01:00
Ricardo Wurmus 00f105fe20
gnu: r-biocviews: Update to 1.50.10.
* gnu/packages/bioinformatics.scm (r-biocviews): Update to 1.50.10.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus 9c1b2b2ae0
gnu: r-systempiper: Update to 1.16.1.
* gnu/packages/bioinformatics.scm (r-systempiper): Update to 1.16.1.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus 3b8c884285
gnu: r-rbgl: Update to 1.58.1.
* gnu/packages/bioinformatics.scm (r-rbgl): Update to 1.58.1.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus ffe16ef33c
gnu: r-dexseq: Update to 1.28.1.
* gnu/packages/bioinformatics.scm (r-dexseq): Update to 1.28.1.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus f7e95c50b8
gnu: r-deseq2: Update to 1.22.2.
* gnu/packages/bioinformatics.scm (r-deseq2): Update to 1.22.2.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus feb561f721
gnu: r-scran: Update to 1.10.2.
* gnu/packages/bioinformatics.scm (r-scran): Update to 1.10.2.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus 80c4e75b87
gnu: r-seqminer: Update to 7.1.
* gnu/packages/bioinformatics.scm (r-seqminer): Update to 7.1.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus 3bc0667f3c
gnu: r-bookdown: Update to 0.9.
* gnu/packages/bioinformatics.scm (r-bookdown): Update to 0.9.
2019-01-12 23:35:16 +01:00
Ricardo Wurmus 24155bf40d
gnu: Move Java compression packages to new module.
* gnu/packages/compression.scm (bitshuffle-for-snappy): Export variable.
(java-snappy, java-snappy-1, java-iq80-snappy, java-jbzip2, java-tukaani-xz):
Move these variables from here...
* gnu/packages/java-compression.scm: ...to this new file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/java.scm, gnu/packages/bioinformatics.scm: Adjust module
references.
2019-01-12 12:14:28 +01:00
Ricardo Wurmus e7c6bc45ed
gnu: jamm: Remove broken "build" phase.
* gnu/packages/bioinformatics.scm (jamm)[arguments]: Remove "build" phase.
2019-01-11 06:08:43 +01:00
Efraim Flashner 6fd2ed23ac
gnu: mantis: Limit to x86_64-linux.
* gnu/packages/bioinformatics.scm (mantis)[supported-systems]: New field.
2019-01-07 15:47:34 +02:00
Ricardo Wurmus e942813aac
gnu: Add mantis.
* gnu/packages/bioinformatics.scm (mantis): New variable.
2019-01-07 11:56:18 +01:00
Pierre Neidhardt 8894668cd2
gnu: discrover: Comment on attempt of minimal texlive-union.
* gnu/packages/bioinformatics.scm (discrover): Comment on attempt of minimal
  texlive-union.
2018-12-20 12:07:40 +01:00
Efraim Flashner 2f3977b9a7
gnu: gess: Don't hardcode python version.
* gnu/packages/bioinformatics.scm (gess)[arguments]: Replace hardcoded
python version with parameterized one.
2018-12-17 12:08:05 +02:00
Christopher Baines 9718265eec
gnu: mash: Use C++ 14.
I'm looking to upgrade capnproto, and mash fails to build with 0.7. Therefore,
tweak the compilation to allow it to build with 0.7. The package also builds
with the current version of capnproto. I got the idea of changing the c++
version from here [1].

1: https://github.com/marbl/Mash/issues/98

* gnu/packages/bioinformatics.scm (mash)[arguments]: Add new use-c++14 phase.
2018-12-05 20:29:12 +00:00
Ricardo Wurmus 42c3e00c20
gnu: pigx-rnaseq: Update to 0.0.5.
* gnu/packages/bioinformatics.scm (pigx-rnaseq): Update to 0.0.5.
[inputs]: Replace snakemake-4 with snakemake.
2018-12-04 16:21:50 +01:00
Marius Bakke 4b2d1dc4dc
gnu: bless: Adjust to zlib static output.
* gnu/packages/bioinformatics.scm (bless)[inputs]: Add ZLIB:STATIC.
[arguments]: Adjust #:make-flags accordingly.
2018-11-24 19:32:48 +01:00
Marius Bakke f028823c0f
gnu: mosaik: Fix FTBFS from b90289dadc.
* gnu/packages/bioinformatics.scm (mosaik)[inputs]: Add ZLIB:STATIC.
2018-11-24 15:57:56 +01:00
Ricardo Wurmus d57ec906ba
gnu: pigx-scrnaseq: Use latest snakemake.
* gnu/packages/bioinformatics.scm (pigx-scrnaseq)[inputs]: Replace snakemake-4
with snakemake.
2018-11-23 16:30:48 +01:00
Ricardo Wurmus 92d9a1e2c6
gnu: pigx-bsseq: Use latest snakemake.
* gnu/packages/bioinformatics.scm (pigx-bsseq)[inputs]: Replace snakemake-4
with snakemake.
2018-11-23 16:30:16 +01:00
Ricardo Wurmus c068d00746
gnu: pigx-chipseq: Use latest snakemake.
* gnu/packages/bioinformatics.scm (pigx-chipseq)[inputs]: Replace snakemake-4
with snakemake.
2018-11-23 16:29:35 +01:00
Ricardo Wurmus 93d229cb86
gnu: python-loompy: Remove python-typing.
* gnu/packages/bioinformatics.scm (python-loompy)[propagated-inputs]: Remove
python-typing.
2018-11-23 15:59:44 +01:00
Marius Bakke 4f70db97a0
Merge branch 'master' into core-updates 2018-11-20 01:14:12 +01:00
Roel Janssen c2e26dc156
gnu: r-ensembldb: Update to 2.6.2.
* gnu/packages/bioinformatics.scm (r-ensembldb): Update to 2.6.2.
2018-11-19 16:46:32 +01:00
Roel Janssen e038819138
gnu: r-msnbase: Update to 2.8.1.
* gnu/packages/bioinformatics.scm (r-msnbase): Update to 2.8.1.
2018-11-19 16:46:00 +01:00
Roel Janssen 4535a7b0f5
gnu: r-genomeinfodb: Update to 1.18.1.
* gnu/packages/bioinformatics.scm (r-genomeinfodb): Update to 1.18.1.
2018-11-19 16:33:35 +01:00
pimi 30f0d21b40
gnu: Add nanopolish.
* gnu/packages/bioinformatics.scm (nanopolish): New variable.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2018-11-15 22:23:57 +01:00
Roel Janssen 2d86eaff5b
gnu: sambamba: Update to 0.6.8.
* gnu/packages/bioinformatics.scm (sambamba): Update to 0.6.8.
2018-11-15 13:09:01 +01:00
Mark H Weaver 2e0f69057a
gnu: bioinformatics: Return #t from all phases and snippets.
* gnu/packages/bioinformatics.scm (bamtools, ribotaper, bioawk)
(codingquarry, fraggenescan, minced, pplacer, star, subread, sailfish)
(salmon): Return #t from all phases and snippets, use 'invoke' where
appropriate, and remove vestigal plumbing.
2018-11-14 23:44:18 -05:00
Ricardo Wurmus ee66a13563
gnu: Add jamm.
* gnu/packages/bioinformatics.scm (jamm): New variable.
2018-11-14 15:13:20 +01:00
Ricardo Wurmus 51b262f310
gnu: r-txdb-mmusculus-ucsc-mm10-knowngene: Update to 3.4.4.
* gnu/packages/bioinformatics.scm (r-txdb-mmusculus-ucsc-mm10-knowngene):
Update to 3.4.4.
2018-11-13 23:34:40 +01:00
Ricardo Wurmus d34959b8d4
gnu: r-org-mm-eg-db: Update to 3.7.0.
* gnu/packages/bioinformatics.scm (r-org-mm-eg-db): Update to 3.7.0.
2018-11-13 23:34:40 +01:00
Ricardo Wurmus 314511b862
gnu: r-org-dm-eg-db: Update to 3.7.0.
* gnu/packages/bioinformatics.scm (r-org-dm-eg-db): Update to 3.7.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus 76bd16bcf6
gnu: r-org-ce-eg-db: Update to 3.7.0.
* gnu/packages/bioinformatics.scm (r-org-ce-eg-db): Update to 3.7.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus fc7683fa30
gnu: r-org-hs-eg-db: Update to 3.7.0.
* gnu/packages/bioinformatics.scm (r-org-hs-eg-db): Update to 3.7.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus cb9e6ed702
gnu: r-genomationdata: Update to 1.14.0.
* gnu/packages/bioinformatics.scm (r-genomationdata): Update to 1.14.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus 13e70f6304
gnu: r-go-db: Update to 3.7.0.
* gnu/packages/bioinformatics.scm (r-go-db): Update to 3.7.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus 13a574652b
gnu: r-genomeinfodbdata: Update to 1.2.0.
* gnu/packages/bioinformatics.scm (r-genomeinfodbdata): Update to 1.2.0.
2018-11-13 23:34:39 +01:00
Ricardo Wurmus 5f9b38ba34
gnu: r-s4vectors: Update to 0.20.1.
* gnu/packages/bioinformatics.scm (r-s4vectors): Update to 0.20.1.
2018-11-11 23:13:48 +01:00
Ricardo Wurmus 03a415365a
gnu: r-ensembldb: Update to 2.6.1.
* gnu/packages/bioinformatics.scm (r-ensembldb): Update to 2.6.1.
2018-11-09 19:41:54 +01:00
Ricardo Wurmus 88514b9124
gnu: r-biostrings: Update to 2.50.1.
* gnu/packages/bioinformatics.scm (r-biostrings): Update to 2.50.1.
2018-11-09 19:41:53 +01:00
Ricardo Wurmus 77bea84ba1
gnu: r-biocviews: Update to 1.50.5.
* gnu/packages/bioinformatics.scm (r-biocviews): Update to 1.50.5.
2018-11-09 19:41:53 +01:00
Ricardo Wurmus a1e83a9856
gnu: pplacer-scripts: Use INVOKE.
* gnu/packages/bioinformatics.scm (pplacer-scripts)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 10:06:35 +01:00
Ricardo Wurmus ce49fdcce9
gnu: roary: Use INVOKE.
* gnu/packages/bioinformatics.scm (roary)[arguments]: Use INVOKE and return #T
unconditionally.
2018-11-08 09:58:05 +01:00
Ricardo Wurmus a9542937c8
gnu: seek: Use INVOKE.
* gnu/packages/bioinformatics.scm (seek)[arguments]: Use INVOKE and return #T
unconditionally; patch "gen_tools_am" shebang in "bootstrap" phase.
2018-11-08 09:54:22 +01:00
Ricardo Wurmus 9f527c9199
gnu: sailfish: Use INVOKE.
* gnu/packages/bioinformatics.scm (sailfish)[arguments]: Use INVOKE instead of
SYSTEM*.
2018-11-08 09:52:46 +01:00
Ricardo Wurmus 86c6928ea3
gnu: vsearch: Update to 2.9.1.
* gnu/packages/bioinformatics.scm (vsearch): Update to 2.9.1.
* gnu/packages/patches/vsearch-unbundle-cityhash.patch: Update.
2018-11-08 09:46:42 +01:00
Ricardo Wurmus 15c9609482
gnu: sra-tools: Update to 2.9.3.
* gnu/packages/bioinformatics.scm (sra-tools): Update to 2.9.3.
[arguments]: Remove build phase patch-away-glibc-conflict.
2018-11-08 09:46:05 +01:00
Ricardo Wurmus b17333414f
gnu: plink-ng: Fetch sources from git.
* gnu/packages/bioinformatics.scm (plink-ng)[source]: Fetch from git.
2018-11-08 09:30:59 +01:00
Ricardo Wurmus 87408854ec
gnu: ncbi-vdb: Update to 2.9.3.
* gnu/packages/bioinformatics.scm (ncbi-vdb): Update to 2.9.3.
2018-11-08 09:30:16 +01:00
Ricardo Wurmus 8d3eaa9262
gnu: ngs-sdk: Update to 2.9.3.
* gnu/packages/bioinformatics.scm (ngs-sdk): Update to 2.9.3.
2018-11-08 09:29:58 +01:00
Ricardo Wurmus 3da3cedf76
gnu: ngs-sdk: Use INVOKE.
* gnu/packages/bioinformatics.scm (ngs-sdk)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 09:15:05 +01:00
Ricardo Wurmus e78e54d029
gnu: emboss: Use INVOKE.
* gnu/packages/bioinformatics.scm (emboss)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 09:14:09 +01:00
Ricardo Wurmus 8b685c4720
gnu: taxtastic: Use INVOKE.
* gnu/packages/bioinformatics.scm (taxtastic)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 09:13:35 +01:00
Ricardo Wurmus 2e2d88539c
gnu: sra-tools: Use INVOKE.
* gnu/packages/bioinformatics.scm (sra-tools)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 09:12:43 +01:00
Ricardo Wurmus 179416467f
gnu: muscle: Use INVOKE.
* gnu/packages/bioinformatics.scm (muscle)[arguments]: Use INVOKE and
return #T unconditionally.
2018-11-08 09:11:38 +01:00
Ricardo Wurmus 0881d62f25
gnu: newick-utils: Remove custom autoconf phase.
* gnu/packages/bioinformatics.scm (newick-utils)[arguments]: Remove.
2018-11-08 09:10:58 +01:00
Ricardo Wurmus e35dce0170
gnu: mash: Remove custom autoconf phase.
* gnu/packages/bioinformatics.scm (mash)[arguments]: Remove autoconf phase.
2018-11-08 09:10:20 +01:00
Ricardo Wurmus 31c41a8cfe
gnu: vsearch: Remove custom autogen phase.
* gnu/packages/bioinformatics.scm (vsearch)[arguments]: Remove.
2018-11-08 09:04:34 +01:00
Ricardo Wurmus c527d36f02
gnu: java-picard-1.113: Use INVOKE.
* gnu/packages/bioinformatics.scm (java-picard-1.113)[arguments]: Use INVOKE
and return #T unconditionally.
2018-11-08 09:02:34 +01:00
Ricardo Wurmus e438c96558
gnu: fraggenescan: Use INVOKE.
* gnu/packages/bioinformatics.scm (fraggenescan)[arguments]: Use INVOKE in
build phases and return #T unconditionally.
2018-11-08 08:58:46 +01:00
Ricardo Wurmus c098c49b3e
gnu: sailfish: Fetch sources from git.
* gnu/packages/bioinformatics.scm (sailfish)[source]: Fetch from git.
2018-11-08 08:53:54 +01:00
Ricardo Wurmus 4031e7f1ec
gnu: ngs-sdk: Fetch sources from git.
* gnu/packages/bioinformatics.scm (ngs-sdk)[source]: Fetch from git.
2018-11-08 08:53:53 +01:00
Ricardo Wurmus 6a7d9ee39f
gnu: ncbi-vdb: Use INVOKE and end phases on #T.
* gnu/packages/bioinformatics.scm (ncbi-vdb)[arguments]: Use INVOKE and
unconditionally end phases with #T.
2018-11-08 08:53:53 +01:00
Ricardo Wurmus 3398dfb764
gnu: ncbi-vdb: Fetch sources from git.
* gnu/packages/bioinformatics.scm (ncbi-vdb)[source]: Fetch from git.
[arguments]: Add phase to make checkout writable.
2018-11-08 08:53:53 +01:00
Ricardo Wurmus e0f1aa2d2b
gnu: tadbit: Fetch sources from git.
* gnu/packages/bioinformatics.scm (tadbit)[source]: Fetch from git.
[version]: Use "2.0.0" instead of "2.0".
2018-11-08 08:53:50 +01:00
Ricardo Wurmus f3f34b132c
gnu: filevercmp: Fetch sources from git.
* gnu/packages/bioinformatics.scm (filevercmp)[source]: Fetch from git.
[arguments]: Add #T to the end of the install phase.
2018-11-07 23:17:36 +01:00
Ricardo Wurmus 3b888065da
gnu: ritornello: Update to 2.0.1.
* gnu/packages/bioinformatics.scm (ritornello): Update to 2.0.1.
[arguments]: Adjust file patching.
2018-11-07 23:17:36 +01:00
Ricardo Wurmus 7145f4e519
gnu: ritornello: Fetch sources from git.
* gnu/packages/bioinformatics.scm (ritornello)[source]: Fetch from git.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus e0a8fc85dd
gnu: snap-aligner: Fetch sources from git.
* gnu/packages/bioinformatics.scm (snap-aligner)[source]: Fetch from git.
[arguments]: Use INVOKE.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus 6236524409
gnu: sortmerna: Fetch sources from git.
* gnu/packages/bioinformatics.scm (sortmerna)[source]: Fetch from git.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus 273df99d7d
gnu: vsearch: Fetch source from git.
* gnu/packages/bioinformatics.scm (vsearch)[source]: Fetch from git.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus 67caa4b773
gnu: preseq: Update to 2.0.3.
* gnu/packages/bioinformatics.scm (preseq): Update to 2.0.3.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus 37e285be43
gnu: preseq: Fetch sources from git.
* gnu/packages/bioinformatics.scm (preseq)[source]: Fetch from git.
2018-11-07 23:17:35 +01:00
Ricardo Wurmus 63f3255e13
gnu: seqtk: Update to 1.3.
* gnu/packages/bioinformatics.scm (seqtk): Update to 1.3.
[source]: Remove outdated snippet.
[arguments]: Use INVOKE and return #T unconditionally.
2018-11-07 23:17:35 +01:00