4efc08d895
tests: Fix installation tests.
...
Use a CEST timezone as this is the assumed timezone in the run-basic-test
procedure.
* gnu/tests/install.scm (%encrypted-root-not-boot-os,
%btrfs-root-on-subvolume-os): Use a CEST timezone.
2021-11-23 08:37:58 +00:00
f42bc60454
gnu: guile-git: Patch to support latest libgit2.
...
* gnu/packages/patches/guile-git-adjust-for-libgit2-1.2.0.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/guile.scm (guile-git)[source]: Use it.
2021-11-22 23:56:05 -05:00
28c2e9642c
gnu: rust-git2: Update to 0.13.24.
...
* gnu/packages/crates-io.scm (rust-git2): Update to 0.13.24.
2021-11-22 23:56:05 -05:00
838f386bf3
gnu: rust-libgit2-sys-0.12: Update to 0.12.25+1.3.0.
...
* gnu/packages/crates-io.scm (rust-libgit2-sys-0.12): Update to 0.12.25+1.3.0.
2021-11-22 23:56:05 -05:00
6952d2920e
gnu: python-pygit2: Update to 1.7.1.
...
* gnu/packages/python-xyz.scm (python-pygit2): Update to 1.7.1.
2021-11-22 23:56:04 -05:00
e0e2316420
gnu: libgit2: Update to 1.3.0.
...
* gnu/packages/patches/libgit2-mtime-0.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): De-register it.
* gnu/packages/version-control.scm (libgit2): Update to 1.3.0.
[source]: Remove patch and simplify snippet.
[phases]: Remove trailing #t.
2021-11-22 23:56:04 -05:00
da54ccdeb2
gnu: oil: Update to 0.9.4.
...
* gnu/packages/shells.scm (oil): Update to 0.9.4.
Signed-off-by: Timothy Sample <samplet@ngyro.com>
2021-11-22 22:35:27 -05:00
21d390bf64
gnu: guix-build-coordinator: Update to 0-39.c9c55c0.
...
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-39.c9c55c0.
2021-11-22 23:21:07 +00:00
12f68319e8
gnu: openresolv: Wrap resolvconf.
...
* gnu/packages/dns.scm (openresolv) [phases]: Wrap resolvconf to set PATH, for
coreutils programs mkdir and rm.
[inputs]: Add coreutils-minimal.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-22 23:50:56 +01:00
30cc14f140
gnu: certdata2pem: Make public.
...
This ensures Cuirass builds and has its binary published at
ci.guix.gnu.org.
* gnu/packages/certs.scm (certdata2pem): Make public.
2021-11-22 23:50:56 +01:00
7463246394
gnu: libgadu: Build with '-fcommon'.
...
* gnu/packages/messaging.scm (libgadu)[arguments]: Build with '-fcommon'.
2021-11-22 23:50:55 +01:00
9404cd3301
gnu: libmateweather: Build with libsoup 2.
...
* gnu/packages/mate.scm (libmateweather)[propagated-inputs]: Change
LIBSOUP to LIBSOUP-MINIMAL-2.
2021-11-22 23:50:55 +01:00
98eca86435
gnu: gupnp-igd: Set HOME before 'check' phase.
...
* gnu/packages/gnome.scm (gupnp-igd)[arguments]: Add 'set-home' phase.
2021-11-22 23:50:55 +01:00
f12cf46eed
gnu: meson-wrapped: Do not propagate Python.
...
* gnu/packages/build-tools.scm (meson-wrapped)[propagated-inputs,
inputs]: New fields.
2021-11-22 23:50:55 +01:00
021d3a32f5
gnu: meson: Extend the python path in the installed program.
...
* gnu/packages/build-tools.scm (meson-wrapped): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-22 23:50:55 +01:00
7239ad676c
gnu: nss-pam-ldapd: Update to 0.9.12.
...
* gnu/packages/openldap.scm (nss-pam-ldapd): Update to 0.9.12.
[arguments]: Remove trailing #T.
2021-11-22 23:40:20 +01:00
a24b83d7ff
gnu: uget: Add -fcommon to CFLAGS.
...
* gnu/packages/bittorrent.scm (uget)[arguments]: Add -fcommon to CFLAGS.
2021-11-22 23:00:21 +01:00
eceecd8ab4
gnu: transmission-remote-gtk: Update to 1.4.2.
...
* gnu/packages/bittorrent.scm (transmission-remote-gtk): Update to 1.4.2.
[source]: Remove patch.
* gnu/packages/patches/transmission-remote-gtk-fix-appstream.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2021-11-22 22:55:39 +01:00
92deae62c1
gnu: jumpnbump: Remove trailing #T.
...
* gnu/packages/games.scm (jumpnbump)[arguments]: Remove trailing #T from build
phase 'fix-sdl-path.
2021-11-22 22:52:01 +01:00
02296cb0c8
gnu: jumpnbump: Add -fcommon to CFLAGS.
...
* gnu/packages/games.scm (jumpnbump)[arguments]: Replace 'configure phase to
add -fcommon to CFLAGS.
2021-11-22 22:51:27 +01:00
3e678de04c
gnu: mupen64plus-core: Add -fcommon to CFLAGS.
...
* gnu/packages/emulators.scm (mupen64plus-core)[arguments]: Replace 'configure
phase to patch Makefile; remove trailing #T from 'chdir-to-project-directory
phase.
2021-11-22 22:40:00 +01:00
10fad03fcf
gnu: Move visidata to (gnu packages spreadsheet).
...
See <http://issues.guix.gnu.org/47852 >.
* gnu/packages/visidata.scm (visidata): Move from here…
* gnu/packages/spreadsheet.scm (visidata): …to here.
* gnu/local.mk (GNU_SYSTEM_MODULES): Adjust accordingly.
Signed-off-by: Leo Famulari <leo@famulari.name>
2021-11-22 16:16:28 -05:00
c4bc557c3a
gnu: Add sc-im.
...
* gnu/packages/spreadsheet.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Leo Famulari <leo@famulari.name>
2021-11-22 16:16:25 -05:00
bb3fbb4d9d
gnu: Add emacs-ddskk-nicola.
...
* gnu/packages/emacs-xyz.scm (emacs-ddskk-nicola): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-22 21:32:22 +01:00
8cae6dbc88
gnu: statistics: Delete trailing whitespace.
...
* gnu/packages/statistics.scm: Delete trailing whitespace.
2021-11-22 21:24:10 +01:00
882dad5085
gnu: Add xlispstat.
...
* gnu/packages/statistics.scm (xlispstat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-22 21:24:09 +01:00
6ac283bad7
gnu: Add cl-cmn.
...
* gnu/packages/lisp-xyz.scm (cl-cmn, sbcl-cmn, ecl-cmn): New variables.
Co-authored-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 20:42:15 +01:00
3d109b0306
gnu: uim-qt: Pass -fcommon to compiler.
...
* gnu/packages/xorg.scm (uim-qt)[arguments]: Add -fcommon to CPPFLAGS.
2021-11-22 20:32:07 +01:00
108b923d92
gnu: uim-gtk: Pass -fcommon to compiler.
...
* gnu/packages/xorg.scm (uim-gtk)[arguments]: Add -fcommon to CFLAGS.
2021-11-22 20:32:07 +01:00
1882282843
gnu: megaglest: Pass -fcommon to compiler.
...
* gnu/packages/games.scm (megaglest)[arguments]: Add -fcommon to CFLAGS and
CXXFLAGS.
2021-11-22 20:32:07 +01:00
be99485786
gnu: chez-scheme: Add missing inputs.
...
* gnu/packages/chez.scm (chez-scheme)[native-inputs]: Add
texlive-dvips-l3backend and texlive-fonts-ec.
[arguments]: Set HOME in 'configure' phase.
2021-11-22 20:15:34 +01:00
cb296dfa2e
gnu: proof-general: Adjust autoloads for Emacs.
...
Fixes <https://bugs.gnu.org/46016 >.
* gnu/packages/coq.scm (proof-general)[native-inputs]: Remove 'which'.
[inputs]: Remove 'coq' and 'emacs'.
[arguments]<#:make-flags>: Adjust to find 'emacs'.
Set 'ELISP' and 'DEST_LISP'.
<#:modules, #:imported-modules>: Remove.
<#:phases>: Remove call to 'which' in Makefile.
Add copy file allowing Emacs autoloads.
Clean unnecessary code.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-22 19:21:17 +01:00
3d32fd1a6e
gnu: linsmith: Pass -fcommon to compiler.
...
* gnu/packages/engineering.scm (linsmith)[arguments]: Add -fcommon to CFLAGS.
2021-11-22 18:24:57 +01:00
318b9f19b7
gnu: python-codacy-coverage: Add missing python-requests input.
...
* gnu/packages/python-check.scm (python-codacy-coverage)
[propagated-inputs]: Add python-requests.
2021-11-22 12:20:46 -05:00
e5ffff316f
gnu: python-dnspython: Patch out problematic getprotobyname calls.
...
* gnu/packages/python-xyz.scm (python-dnspython)
[phases]{patch-getprotobyname-calls}: New phase.
2021-11-22 12:20:46 -05:00
07f078dbcf
gnu: http-parser: Update to 1.1.4.
...
* gnu/packages/web.scm (http-parser): Update to 1.1.4.
[phases]: Delete trailing #t.
2021-11-22 12:20:46 -05:00
7d5c5b3493
gnu: weechat-wee-slack: Use GUIX_PYTHONPATH.
...
* gnu/packages/messaging.scm (weechat-wee-slack)[arguments]: Use
GUIX_PYTHONPATH.
2021-11-22 18:00:55 +01:00
968fff5706
gnu: weechat-matrix: Use GUIX_PYTHONPATH.
...
* gnu/packages/messaging.scm (weechat-matrix)[arguments]: Use GUIX_PYTHONPATH.
2021-11-22 18:00:55 +01:00
e86f85046f
gnu: python-zulip: Do not change PYTHONPATH.
...
* gnu/packages/messaging.scm (python-zulip)[arguments]: Do not set PYTHONPATH
variable.
2021-11-22 18:00:55 +01:00
cea3c866f5
gnu: python-zulip: Remove trailing #T.
...
* gnu/packages/messaging.scm (python-zulip)[arguments]: Remove trailing #T
from build phases.
2021-11-22 18:00:55 +01:00
823e855bd0
gnu: python-jplephem: Use ADD-INSTALLED-PYTHONPATH.
...
* gnu/packages/astronomy.scm (python-jplephem)[arguments]: Use
ADD-INSTALLED-PYTHONPATH instead of setting PYTHONPATH directly; run tests
conditionally.
2021-11-22 18:00:55 +01:00
3d2e41adf2
gnu: emacs-ryo-modal: Update to 0.45.
...
* gnu/packages/emacs-xyz.scm (emacs-ryo-modal): Update to 0.45.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2021-11-22 17:29:42 +01:00
4df826f340
gnu: linux-libre 5.4: Update to 5.4.161.
...
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.161.
(linux-libre-5.4-pristine-source): Update hash.
2021-11-22 10:43:00 -05:00
5bff28e089
gnu: linux-libre 5.10: Update to 5.10.81.
...
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.81.
(linux-libre-5.10-pristine-source): Update hash.
2021-11-22 10:43:00 -05:00
36e2d993da
gnu: linux-libre: Update to 5.14.21.
...
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.21.
(linux-libre-5.14-pristine-source): Update hash.
2021-11-22 10:42:57 -05:00
e711ad3185
gnu: awesome: Fix build.
...
* gnu/packages/patches/awesome-4.3-fno-common.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/wm.scm (awesome)[source]: Use it.
[arguments]{set-paths}: Set HOME and XDG_CACHE_HOME variables.
2021-11-22 15:35:47 +00:00
18ab016be1
gnu: moarvm: Fix compiling with gcc 10.
...
* gnu/packages/perl6.scm (moarvm)[arguments]: Add '-fcommon' to CFLAGS.
2021-11-22 13:44:19 +01:00
e1dce8faf0
gnu: arb: Update to 2.21.1.
...
* gnu/packages/algebra.scm (arb): Update to 2.21.1.
2021-11-22 13:27:50 +01:00
7f4b31578d
gnu: flint: Update to 2.8.4.
...
* gnu/packages/algebra.scm (flint): Update to 2.8.4.
2021-11-22 13:27:50 +01:00
1d7e603a77
gnu: pari-gp: Update to 2.13.3.
...
* gnu/packages/algebra.scm (pari-gp): Update to 2.13.3.
2021-11-22 13:27:50 +01:00
83bd1b70cc
gnu: xfce4-screenshooter: Fix build.
...
* gnu/packages/xfce.scm (xfce4-screenshooter)[inputs]: Use libsoup 2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 13:04:35 +01:00
e5ac7670b1
gnu: emacs-form-feed: Update to 0.2.3.
...
* gnu/packages/emacs-xyz.scm (emacs-form-feed): Update to 0.2.3.
2021-11-22 11:50:54 +01:00
abd856b505
gnu: cl-portal: Update to 1.2.
...
* gnu/packages/lisp-xyz.scm (sbcl-portal): Update to 1.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 11:47:39 +01:00
e26a149e22
gnu: cl-yxorp: Update to 0.2.
...
* gnu/packages/lisp-xyz.scm (sbcl-yxorp): Update to 0.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 11:47:38 +01:00
616216b0ad
gnu: emacs-eldev: Update to 0.10.1.
...
* gnu/packages/emacs-xyz.scm (emacs-eldev): Update to 0.10.1.
2021-11-22 11:43:08 +01:00
3edadb4219
gnu: emacs-evil-multiedit: Update to 1.4.3.
...
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.3.
2021-11-22 11:37:49 +01:00
586a1ef971
gnu: Add lz4json.
...
* gnu/packages/gnuzilla.scm (lz4json): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-22 11:21:30 +01:00
276efadd84
gnu: gdb: Build fix for the Hurd, part 2.
...
This is a follow-up to commit
b1fd953114
2021-11-22 09:08:27 +01:00
17017eb540
gnu: freecad: Use GUIX_PYTHONPATH.
...
* gnu/packages/engineering.scm (freecad)[arguments]: Use GUIX_PYTHONPATH.
2021-11-22 08:58:03 +01:00
f2bc1877c4
gnu: vtk-8: Pass -fcommon to compiler.
...
* gnu/packages/image-processing.scm (vtk-8)[arguments]: Add -fcommon to
CFLAGS.
2021-11-22 08:57:37 +01:00
06e993d0ee
gnu: opencascade-occt: Use TBB 2020.
...
* gnu/packages/maths.scm (opencascade-occt)[inputs]: Replace tbb with
tbb-2020.
2021-11-22 08:57:37 +01:00
c8b535aa69
gnu: python-prawcore: Update to 7.5.0.
...
* gnu/packages/python-web.scm (python-prawcore): Update to 7.5.0.
[arguments]: Disable two broken tests.
2021-11-22 08:57:37 +01:00
da531f9b4c
gnu: python-prawcore: Update to 2.3.0.
...
* gnu/packages/python-web.scm (python-prawcore): Update to 2.3.0.
2021-11-22 08:57:37 +01:00
60e33428d1
gnu: giara: Use libsoup2 variant of webkitgtk.
...
* gnu/packages/syndication.scm (giara)[inputs]: Replace webkitgtk with
webkitgtk-with-libsoup2.
2021-11-22 08:57:37 +01:00
c7769bfca7
gnu: giara: Use GUIX_PYTHONPATH.
...
* gnu/packages/syndication.scm (giara)[arguments]: Replace PYTHONPATH with
GUIX_PYTHONPATH.
2021-11-22 08:57:37 +01:00
b5ee19e134
gnu: python-praw: Remove trailing #T.
...
* gnu/packages/python-web.scm (python-praw)[arguments]: Remove trailing #T
from build phases.
2021-11-22 08:57:37 +01:00
297b199c0f
gnu: python-praw: Add missing input.
...
* gnu/packages/python-web.scm (python-praw)[propagated-inputs]: Add
python-update-checker.
2021-11-22 08:57:36 +01:00
b5016027a0
gnu: Add python-update-checker.
...
* gnu/packages/python-xyz.scm (python-update-checker): New variable.
2021-11-22 08:57:32 +01:00
9d370029c2
gnu: lttng-tools: Update to 2.13.1.
...
* gnu/packages/linux.scm (lttng-tools): Bump version.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 21:32:22 -05:00
ea48a87f1f
gnu: lttng-ust: Update to 2.13.0.
...
* gnu/packages/linux.scm (lttng-ust): Bump version.
[native-inputs]: Add pkg-config.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 21:32:19 -05:00
82f8ac4c29
gnu: Add babeltrace.
...
* gnu/packages/linux.scm (babeltrace): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 20:46:59 -05:00
b033079e47
gnu: python-nautilus: Remove package.
...
This package dates from 2016 and looks inactive. The packages that used this
as an input actually wanted nautilus-python (not currently packaged),
for (optional) integration with the nautilus file manager.
* gnu/packages/python-xyz.scm (python-nautilus): Remove variable.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-gsconnect)[inputs]: Remove
it.
* gnu/packages/sync.scm (nexcloud-client)[inputs]: Remove it.
* gnu/packages/syncthing.scm (syncthing-gtk)[inputs]: Remove it.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 20:41:03 -05:00
aa100d3fe8
gnu: python-django-localflavor: Use GUIX_PYTHONPATH.
...
* gnu/packages/django.scm (python-django-localflavor)[arguments]: Use
GUIX_PYTHONPATH.
2021-11-21 23:36:12 +01:00
66d6daeafe
gnu: python-invoke: Update to 1.6.0.
...
* gnu/packages/python-xyz.scm (python-invoke): Update to 1.6.0.
2021-11-21 23:36:12 +01:00
72876fb02d
gnu: python-invoke: Delete incompatible and unused code.
...
* gnu/packages/python-xyz.scm (python-invoke)[arguments]: Add build phase
'delete-python2-code.
(python2-invoke)[arguments]: Remove that phase and add 'delete-python3-code.
2021-11-21 23:36:12 +01:00
f862d7fb8d
gnu: network-manager: Build with Meson 0.60.
...
This is another way to address
<https://github.com/mesonbuild/meson/issues/9492 > as suggested by
Nirbheek Chauhan and Paolo Bonzini.
* gnu/packages/patches/network-manager-meson.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/gnome.scm (network-manager)[source]: Use it.
[arguments]: Remove #:meson.
2021-11-21 23:01:15 +01:00
84c3aafb5a
gnu: trytond: Avoid top-level references to other modules.
...
This delays references to variables defined in other modules.
* gnu/packages/tryton.scm (%standard-trytond-native-inputs): Turn into a
thunk. Adjust users.
2021-11-21 23:01:15 +01:00
1b1e9b51f4
gnu: trytond: Build against python-werkzeug 1.0.
...
* gnu/packages/tryton.scm (trytond)[propagated-inputs]: Replace
PYTHON-WERKZEUG by PYTHON-WERKZEUG-1.0.
* gnu/packages/tryton.scm (%standard-trytond-native-inputs): Likewise.
2021-11-21 23:01:15 +01:00
248199863c
gnu: python-werkzeug: Reintroduce 1.0.1.
...
* gnu/packages/python-web.scm (python-werkzeug-1.0): New variable.
* gnu/packages/patches/python-werkzeug-tests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-11-21 23:01:15 +01:00
b1fd953114
gnu: gdb: Build fix for the Hurd.
...
This allows (cross-)building gdb-minimal for the Hurd.
* gnu/packages/patches/gdb-fix-gnu-nat-build.patch: New file, taken from
upstream.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/web.scm (gdb)[inputs]: When building for the Hurd, add it.
[arguments]: When building for the Hurd, apply it.
2021-11-21 22:27:14 +01:00
b2d8174400
gnu: Add qxmpp.
...
* gnu/packages/messaging.scm (qxmpp): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:54:10 +01:00
97a8d0edda
gnu: Add devour.
...
* gnu/packages/wm.scm (devour): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:43:39 +01:00
9092b38651
gnu: Add libplacebo.
...
* gnu/packages/video.scm (libplacebo): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:35:05 +01:00
16dda28fd7
gnu: sameboy: Update to 0.14.7.
...
* gnu/packages/emulators.scm (sameboy): Update to 0.14.7.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:31:19 +01:00
ddbc3a6f4c
gnu: nghttp2: Resurrect cross-building.
...
* gnu/packages/web.scm (nghttp2)[arguments]: Add "--disable-python-bindings"
when cross-building.
2021-11-21 21:26:41 +01:00
f33a977706
gnu: help2man: Resurrect cross-building.
...
This is a follow-up to commit
378df42fc5
2021-11-21 20:35:40 +01:00
80efc5d005
gnu: guix-build-coordinator: Update to 0-38.d46e9ac.
...
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-38.d46e9ac.
2021-11-21 18:56:31 +00:00
8b140f393e
gnu: ocaml-merlin-reader: Update to 4.3.1-411.
...
* gnu/packages/ocaml.scm (ocaml-merlin-reader): Update to 4.3.1-411.
2021-11-21 19:49:36 +01:00
b1c2ad312d
gnu: emacs-citar: Update to 0.9.
...
* gnu/packages/emacs-xyz.scm (emacs-citar): Update to 0.9.
2021-11-21 19:30:05 +01:00
63d8c7a82f
gnu: coq-stdpp: Update to 1.6.0.
...
* gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
2021-11-21 19:27:13 +01:00
07fc7046d2
gnu: coq-interval: Update to 4.3.1.
...
* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
2021-11-21 19:27:10 +01:00
5bcf0101b2
gnu: coq-coquelicot: Update to 3.2.0.
...
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
2021-11-21 19:27:05 +01:00
698e5c38b4
gnu: coq-mathcomp: Update to 1.13.0.
...
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
2021-11-21 19:27:02 +01:00
67fbcd437c
gnu: coq-gappa: Update to 1.5.0.
...
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
2021-11-21 19:26:57 +01:00
45bc66dbe9
gnu: coq-flocq: Update to 3.4.2.
...
* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
2021-11-21 19:26:26 +01:00
0154fac42a
gnu: ghc: Depend on 'git-minimal/fixed'.
...
* gnu/packages/haskell.scm (ghc-8.8): Replace GIT/FIXED by
GIT-MINIMAL/FIXED.
* gnu/packages/version-control.scm (git/fixed): Remove.
2021-11-21 18:37:50 +01:00
48d38125c2
gnu: blender: Update to 2.93.6.
...
* gnu/packages/graphics.scm (blender): Update to 2.93.6.
2021-11-21 18:37:50 +01:00
3f66b4c266
gnu: lyx: Remove reference to '%outputs'.
...
* gnu/packages/tex.scm (lyx)[arguments]: Rewrite as gexps. Refer
to #$output instead of '%outputs', which 'qt-build-system' no longer
defines.
2021-11-21 18:37:50 +01:00
85de88f1ad
gnu: emacs-xwidgets{,-next-pgtk}: Use webkitgtk-with-libsoup2.
...
* gnu/packages/emacs.scm (emacs-xwidgets, emacs-next-pgtk)[inputs]:
Replace webkitgtk with webkitgtk-with-libsoup2.
* gnu/packages/webkit.scm (webkitgtk-with-libsoup2): Add further
information about where this package is used and upstream tracker for
libsoup3.
2021-11-21 16:43:12 +01:00
29e9dc49cc
gnu: camlboot: Increase max-silent-time.
...
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
2021-11-21 16:20:57 +01:00
Mathieu Othacehe
Maxim Cournoyer
Felix Gruber
Christopher Baines
Vivien Kraus
Ludovic Courtès
Ricardo Wurmus
Jorge Gomez
Taiju HIGASHI
Liliana Marie Prikler
Frank Pursel
Guillaume Le Vaillant
zimoun
pinoaffe
Leo Famulari
Andreas Enge
Brendan Tildesley
Nicolas Goaziou
Charles
Zzull
Jan (janneke) Nieuwenhuizen
Olivier Dion
John Kehayias
Vinicius Monego
jgart via Guix-patches via
Milkey Mouse
Julien Lepiller