aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-04-09 10:42:45 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2023-04-09 12:51:34 -0400
commit8edec9060f8dba97d954d1634035f5bb8582b632 (patch)
tree37dd6f478d3966b3b556cdfdd228c4bcd849cacc /gnu/packages/coq.scm
parente1e95fda231aa2cd8e22cc45222a70db14af9c5f (diff)
downloadguix-8edec9060f8dba97d954d1634035f5bb8582b632.tar
guix-8edec9060f8dba97d954d1634035f5bb8582b632.tar.gz
gnu: dconf-editor: Update to 43.0.
* gnu/packages/gnome.scm (dconf-editor): Update to 43.0. [source]: Update source URL. [arguments]: Remove #:meson, add #:phases. [native-inputs]: Remove labels. [inputs]: Add libhandy.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions