summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorJai Vetrivelan <jaivetrivelan@gmail.com>2022-03-05 18:52:40 +0530
committerLudovic Courtès <ludo@gnu.org>2022-03-16 15:48:52 +0100
commitf1aa1f3412169bf1eeee2f90adc426f766d79d3c (patch)
tree5653b7d7022731d9d890aebc9c9ff126710d79c0 /gnu/packages/lean.scm
parent4ba792fa157753ebbc1ecb49740930d83db8ea2a (diff)
downloadguix-patches-f1aa1f3412169bf1eeee2f90adc426f766d79d3c.tar
guix-patches-f1aa1f3412169bf1eeee2f90adc426f766d79d3c.tar.gz
gnu: dunst: Update to 1.8.1.
* gnu/packages/dunst.scm (dunst): Update to 1.8.1. * gnu/packages/patches/dunst-1.7.3-fix-crash.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions