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:33 +0200
commit312cb3c4f393a0d7efaa631152c3c33b2ffe9496 (patch)
treee031477a4a34506ef37fca6d17ec452c60c05380 /gnu/packages/agda.scm
parent37aef96135954710794e60a89beac816ac65aba1 (diff)
downloadguix-312cb3c4f393a0d7efaa631152c3c33b2ffe9496.tar
guix-312cb3c4f393a0d7efaa631152c3c33b2ffe9496.tar.gz
gnu: r-paws-common: Update to 0.7.3.
* gnu/packages/cran.scm (r-paws-common): Update to 0.7.3. Change-Id: Ie79fad0e1f4ed1e7ddea073b31ce402f35adadd8
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions