aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-10-16 02:00:02 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2022-10-16 02:00:01 +0200
commit884e7b2e47310a9096d456495b181b1ad7bfb803 (patch)
treec47228bb1c2c3989f7111cbd53be9e76a6ca8fa5 /gnu/packages/coq.scm
parente63e2518c2e20b5249f8eb292ec1f98435d07245 (diff)
downloadguix-884e7b2e47310a9096d456495b181b1ad7bfb803.tar
guix-884e7b2e47310a9096d456495b181b1ad7bfb803.tar.gz
gnu: samplv1: Update to 0.9.27.
* gnu/packages/music.scm (samplv1): Update to 0.9.27.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions