summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2023-07-10 23:13:24 +0200
committerRicardo Wurmus <rekado@elephly.net>2023-07-12 14:29:02 +0200
commit1223a87a1453287299dc1fcef839bf70ab3ddbd6 (patch)
tree00595be75a5449828ea38a03a6ba1593cfc8af5b /gnu/packages/agda.scm
parent1b09d2e9aee2b5e1a59cbd20df71e4acad34b3a3 (diff)
downloadguix-1223a87a1453287299dc1fcef839bf70ab3ddbd6.tar.gz
gnu: r-v8: Update to 4.3.2.
* gnu/packages/cran.scm (r-v8): Update to 4.3.2.
[properties]: Declare libnode as an extra input, not an ignored input.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions