aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2021-12-31 10:20:34 +0100
committerRicardo Wurmus <rekado@elephly.net>2021-12-31 10:21:29 +0100
commit9708681f1a9f221ae6cad64625ba8309b6742653 (patch)
tree20d9d723f2eb073e4fef3d48d2c52f617dd21536 /gnu/packages/coq.scm
parent0e4183883a9afdbb9d6ffa43a8f9c6f938efa6f0 (diff)
downloadguix-9708681f1a9f221ae6cad64625ba8309b6742653.tar
guix-9708681f1a9f221ae6cad64625ba8309b6742653.tar.gz
gnu: rsyslog: Update to 8.2112.0.
* gnu/packages/logging.scm (rsyslog): Update to 8.2112.0.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions