summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-12-04 09:35:59 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-12-04 09:35:59 +0100
commitb86f77469b7e312aaa23e0959aab3fb2eecc9a13 (patch)
tree0a3ddece24ca2aeb6a96217ed62da83cf1a89a81 /gnu/packages/agda.scm
parentced61edf5d1aed33afc4ea24e6040e8d6b706430 (diff)
downloadguix-b86f77469b7e312aaa23e0959aab3fb2eecc9a13.tar.gz
gnu: r-arrmdata: Use bioconductor-uri.
* gnu/packages/bioconductor.scm (r-arrmdata)[source]: Use bioconductor-uri.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions