aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-11-20 01:00:02 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2022-11-27 01:00:08 +0100
commita08672f59418d79a062de8d4e454be0c84268b47 (patch)
tree2bbc48f0c8f01dfd896ea6d9146fa4649b3b86f2 /gnu/packages/agda.scm
parent9ca3f1bc1dbdf5d6824a36226b352226e590b8a3 (diff)
downloadguix-a08672f59418d79a062de8d4e454be0c84268b47.tar.gz
guix-a08672f59418d79a062de8d4e454be0c84268b47.zip
gnu: libjcat: Update to 0.1.12.
* gnu/packages/compression.scm (libjcat): Update to 0.1.12.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions