summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2024-05-08 14:51:38 +0200
committerChristopher Baines <mail@cbaines.net>2024-05-13 09:11:06 +0100
commit173420d73c5df7b1b5efe1dd186c57dcdb2ae6ae (patch)
tree21d5ff614732934974a45834f9bb9d202777f58e /gnu/packages/lean.scm
parent7db57257d5b2fc6fe58f0d51686147cfcce7f6b4 (diff)
downloadguix-patches-173420d73c5df7b1b5efe1dd186c57dcdb2ae6ae.tar
guix-patches-173420d73c5df7b1b5efe1dd186c57dcdb2ae6ae.tar.gz
gnu: gnome-maps: Update to 46.10.
* gnu/packages/geo.scm (gnome-maps): Update to 46.10. [arguments]: Add phase to setup time zones for a new test. [native-inputs]: Add libportal and tzdata-for-tests. Change-Id: Ife9b17eda68662d2adb289acfeacf1dc8f179a46 Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions