summary refs log tree commit diff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-07-18 00:06:03 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2022-07-31 21:55:46 -0400
commitd15258d991767ec83450fc6ebdb8ff2f60870501 (patch)
tree426a60af6e820269a890bf1149bdb69c663b119c /gnu/packages/lean.scm
parentd90031f799f6c56fa456dc7afe5bfdb59680f258 (diff)
downloadguix-d15258d991767ec83450fc6ebdb8ff2f60870501.tar.gz
gnu: qtwebsockets: Rename to qtwebsockets-5.
Automated via:

  git grep -l qtwebsockets | xargs sed 's/\bqtwebsockets\b/\0-5/g' -i
  git checkout NEWS
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions