summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-04-03 16:24:54 +0200
committerRicardo Wurmus <rekado@elephly.net>2019-04-03 17:42:18 +0200
commit6b12f213633e035e8b6eb61c36cfdbd19b434754 (patch)
treec006d87d9e701c68a0601ab2ed62422b241e2d71 /gnu/packages/agda.scm
parent7b5101c5bf9fb33768ae90e0e32ba2f67a491bc3 (diff)
gnu: Add r-webbioc.
* gnu/packages/bioconductor.scm (r-webbioc): New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions