aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2024-07-02 14:58:51 +0200
committerRicardo Wurmus <rekado@elephly.net>2024-07-17 22:38:32 +0200
commit37aef96135954710794e60a89beac816ac65aba1 (patch)
tree52ab7163e9d83d1792d64fc466a43ab8892af770 /gnu/packages/agda.scm
parent3aa447509a737406c9415bae762c758d79f7e94c (diff)
downloadguix-37aef96135954710794e60a89beac816ac65aba1.tar
guix-37aef96135954710794e60a89beac816ac65aba1.tar.gz
gnu: r-rapiserialize: Update to 0.1.3.
* gnu/packages/cran.scm (r-rapiserialize): Update to 0.1.3. Change-Id: I207fe359f5ea33db3285a17eaffd99765238e103
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions