aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2024-04-12 09:01:01 +0100
committerChristopher Baines <mail@cbaines.net>2024-04-15 09:28:26 +0100
commit2c059863483b698c4f6f50a2ce4daaef5f1de83f (patch)
treeb585c513b8f9e4cfb7e9a2ee88654b14b6228106 /gnu/packages/coq.scm
parent6b3c90f638292f9604a221ac6dbf22234f6e4c4b (diff)
downloadguix-2c059863483b698c4f6f50a2ce4daaef5f1de83f.tar.gz
guix-2c059863483b698c4f6f50a2ce4daaef5f1de83f.zip
gnu: borg: Update to 1.2.8.
* gnu/packages/backup.scm (borg): Update to 1.2.8. [arguments]: Remove a variety of workarounds that have been obviated by changes upstream and in the Python package build tools. Reviewed-by: Dale Mellor <guix-devel-0brg6a@rdmp.org> Signed-off-by: Christopher Baines <mail@cbaines.net> Change-Id: I031bb4e6ac2f562a3e387a5e815b31416367766f
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions
generated by cgit
lass='logheader'>6 daysgnu: arandr: Add bash-minimal to inputs.Maxim Cournoyer * gnu/packages/xdisorg.scm (arandr) [inputs]: Add bash-minimal. Change-Id: I278cd26d2c03cb98e3119c21d9c00a7e47bdfa35 6 daysbuild-systems: gnu: Export %default-gnu-imported-modules and ↵Maxim Cournoyer %default-gnu-modules. Until now users would have to cargo cult or inspect the private %default-modules variable of (guix build-systems gnu) to discover which modules to include when extending the used modules via the #:modules argument. The renaming was automated via the command: $ git grep -l %gnu-build-system-modules | xargs sed 's/%gnu-build-system-modules/%default-gnu-imported-modules/' -i * guix/build-system/gnu.scm (%gnu-build-system-modules): Rename to... (%default-gnu-imported-modules): ... this. (%default-modules): Rename to... (%default-gnu-modules): ... this. Export. (dist-package, gnu-build, gnu-cross-build): Adjust accordingly. Change-Id: Idef307fff13cb76f3182d782b26e1cd3a5c757ee 6 daysgnu: libxkbcommon: Faux propagate libxml2.Bruno Victal xkbregistry.pc lists libxml2 as a requirement. Use a symlink for the libxml-2.0.pc to avoid setting libxml2 as a propagated-input. * gnu/packages/xdisorg.scm (libxkbcommon)[arguments]<#:phases>: Add symlink-pc. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> 6 daysgnu: libxkbcommon: Add doc output.Bruno Victal * gnu/packages/xdisorg.scm (libxkbcommon)[arguments]: Restyle. <#:phases>: Add 'move-doc. [outputs]: Add doc. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com> Change-Id: I28ed23167f24e2cc3e29c0de3507fe76cf0fb5d2 9 daysgnu: libwacom: Update to 2.12.2.Dariqq * gnu/packages/xdisorg.scm (libwacom): Update to 2.12.2. [source]: Switch to GIT-FETCH. Change-Id: I7fd0c01e02185fdf731749ed1c5a3c84d98c428c Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn> 10 daysgnu: Add cliphist.spencerpeters * gnu/packages/xdisorg.scm (cliphist): New variable. Change-Id: Ic165a6b92d7c30ee8d8ad9aa0f92cfdc198d94a5 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> 2024-08-18Replace some more occurrences of ‘setuid-programs’.Tobias Geerinckx-Rice * gnu/packages/containers.scm (podman, buildah)[arguments]: Substitute /run/privileged/bin for /run/setuid-programs. * gnu/packages/mail.scm (opensmtpd)[arguments]: Likewise. * gnu/packages/spice.scm (spice-gtk)[arguments]: Likewise. * gnu/packages/patches/enlightenment-fix-setuid-path.patch: Likewise. * gnu/packages/xdisorg.scm (xsecurelock)[description]: Rewrite example code to use the ‘privileged-program(s)’ terminology. * doc/guix-cookbook.texi (Network bridge for QEMU): Likewise. * gnu/packages/disk.scm (udevil)[arguments]: Update a comment. Change-Id: I7f467e8743a3ef556cd89bac41509bf51d9edb30 2024-08-19gnu: Add fyi.Ashish SHUKLA * gnu/packages/xdisorg.scm (fyi): New variable. Change-Id: I8bbc45324495cc0248bedd793b1a951aa0126706 Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr> 2024-08-11gnu: Replace (almost) all uses of /run/setuid-programs.Tobias Geerinckx-Rice …those good for master, anyway. * gnu/packages/admin.scm (ktsuss, opendoas, hosts) [arguments]: Replace /run/setuid-programs with /run/privileged/bin. * gnu/packages/containers.scm (slirp4netns)[arguments]: Likewise. * gnu/packages/debian.scm (pbuilder)[arguments]: Likewise. * gnu/packages/disk.scm (udevil)[arguments]: Likewise. * gnu/packages/enlightenment.scm (efl, enlightenment) [arguments]: Likewise. * gnu/packages/gnome.scm (gdm, gnome-control-center) [arguments]: Likewise. * gnu/packages/linux.scm (singularity)[arguments]: Likewise. * gnu/packages/lxde.scm (spacefm)[arguments]: Likewise. * gnu/packages/monitoring.scm (zabbix-agentd)[arguments]: Likewise. * gnu/packages/virtualization.scm (ganeti)[arguments]: Likewise. * gnu/packages/xdisorg.scm (xsecurelock)[arguments]: Likewise. * gnu/services/dbus.scm (dbus-configuration-directory): Likewise. * gnu/services/ganeti.scm (%default-ganeti-environment-variables): Likewise. * gnu/services/monitoring.scm (zabbix-agent-shepherd-service): Likewise. * gnu/tests/ldap.scm (marionette): Likewise. * gnu/tests/monitoring.scm (os): Likewise. 2024-07-18gnu: copyq: Fix build.Zheng Junjie * gnu/packages/xdisorg.scm (copyq)[inputs]: Replace knotifications with knotifications-5. Change-Id: Ia25ac571227eb337274cf38bebe55c7a1dd3bbc1