Commit graph

86196 commits

Author SHA1 Message Date
Julien Lepiller
d95a982cdd
gnu: coq: Update to 8.14.0.
* gnu/packages/coq.scm (coq): Update to 8.14.0.
(coq-bignums): Update to 8.14.0.
(coq-equations): Update to 1.3.
* gnu/packages/patches/coq-fix-envvars.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-11-30 03:52:00 +01:00
Julien Lepiller
189501bf3b
gnu: proof-general: Update to latest commit.
* gnu/packages/coq.scm (proof-general): Update to latest commit.
[license]: Change to glp3+.
2021-11-30 03:19:33 +01:00
Julien Lepiller
bcd4c7ae6a
gnu: coq-semantics: Update to 8.14.0.
* gnu/packages/coq.scm (coq-semantics): Update to 8.14.0.
2021-11-30 03:19:21 +01:00
Tobias Geerinckx-Rice
892f1b7273
services: Accept <inferior-package>s in lieu of <package>s.
* gnu/services/authentication.scm (fprintd-configuration)
(nslcd-configuration): Substitute file-like objects for package ones.
* gnu/services/cgit.scm (cgit-configuration, opaque-cgit-configuration):
Likewise.
* gnu/services/cups.scm (package-list?, cups-configuration): Likewise.
* gnu/services/dns.scm (verify-knot-configuration)
(ddclient-configuration): Likewise.
* gnu/services/docker.scm (docker-configuration): Likewise.
* gnu/services/file-sharing.scm (transmission-daemon-configuration): Likewise.
* gnu/services/getmail.scm (getmail-configuration): Likewise.
* gnu/services/mail.scm (dovecot-configuration)
(opaque-dovecot-configuration): Likewise.
* gnu/services/messaging.scm (prosody-configuration)
(opaque-prosody-configuration): Likewise.
* gnu/services/monitoring.scm (zabbix-server-configuration)
(zabbix-agent-configuration): Likewise.
* gnu/services/networking.scm (opendht-configuration): Likewise.
* gnu/services/pm.scm (tlp-configuration): Likewise.
* gnu/services/telephony.scm (jami-configuration): Likewise.
* gnu/services/virtualization.scm (libvirt-configuration)
(qemu-guest-agent-configuration): Likewise.
* gnu/services/vpn.scm (openvpn-client-configuration): Likewise.
2021-11-30 01:08:55 +01:00
Tobias Geerinckx-Rice
dc9be12eaf
gnu: squashfs-tools: Update to 4.5.
* gnu/packages/compression.scm (squashfs-tools): Update to 4.5.
2021-11-30 01:08:55 +01:00
Tobias Geerinckx-Rice
cdf7b3daa3
gnu: toybox: Update to 0.8.5.
* gnu/packages/busybox.scm (toybox): Update to 0.8.5.
[arguments]: Add a new 'fix-or-skip-broken-tests phase.
Don't explicitly return #t from the other phases.
2021-11-30 01:08:55 +01:00
Tobias Geerinckx-Rice
a392ad8302
gnu: indi: Update to 1.9.3.
* gnu/packages/astronomy.scm (indi): Update to 1.9.3.
2021-11-30 01:08:55 +01:00
Tobias Geerinckx-Rice
4c62406371
gnu: simdjson: Update to 1.0.2.
* gnu/packages/cpp.scm (simdjson): Update to 1.0.2.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
c6a15cf756
gnu: diffoscope: Update to 194.
* gnu/packages/diffoscope.scm (diffoscope): Update to 194.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
588698c92b
gnu: lttoolbox: Omit static libraries.
* gnu/packages/dictionaries.scm (lttoolbox)[arguments]:
Add "--disable-static" to #:configure-flags.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
d51c5d032e
gnu: lttoolbox: Update to 3.5.4.
* gnu/packages/dictionaries.scm (lttoolbox): Update to 3.5.4.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
795e8c7a7c
gnu: quazip@1: Update to 1.2.
* gnu/packages/compression.scm (quazip): Update to 1.2.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
26787a7034
gnu: thefuck: Update to 3.31.
* gnu/packages/admin.scm (thefuck): Update to 3.31.
[arguments]: Don't call buggy settings.init() during test suite.
2021-11-30 01:08:54 +01:00
Tobias Geerinckx-Rice
3848dafeb1
gnu: xa: Update to 2.3.12.
* gnu/packages/assembly.scm (xa): Update to 2.3.12.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
39631cefa8
gnu: rxvt-unicode: Update to 9.30.
* gnu/packages/xdisorg.scm (rxvt-unicode): Update to 9.30.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
eb62e3e54d
gnu: ethtool: Update to 5.15.
* gnu/packages/networking.scm (ethtool): Update to 5.15.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
01f08d5f82
gnu: btrfs-progs: Update to 5.15.1.
* gnu/packages/linux.scm (btrfs-progs): Update to 5.15.1.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
1e9d70e42e
gnu: powerstat: Update to 0.02.27.
* gnu/packages/linux.scm (powerstat): Update to 0.02.27.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
c1546d8a68
gnu: powerstat: Fetch sources from Git.
* gnu/packages/linux.scm (powerstat)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
2397cc097c
gnu: usbutils: Update to 014.
* gnu/packages/linux.scm (usbutils): Update to 014.
[arguments]: Remove obsolete autogen.sh substitution.
Don't explicitly return #t from phases.
2021-11-30 01:08:53 +01:00
Tobias Geerinckx-Rice
215524a116
gnu: xfsprogs: Omit static library.
* gnu/packages/linux.scm (xfsprogs)[arguments]:
Add "--disable-static" to #:configure-flags.
(xfsprogs-static)[arguments]: Undo it.
2021-11-30 01:08:52 +01:00
Tobias Geerinckx-Rice
3ec27a7436
gnu: xfsprogs: Update to 5.14.0.
* gnu/packages/linux.scm (xfsprogs): Update to 5.14.0.
[inputs]: Add liburcu.
2021-11-30 01:08:52 +01:00
Tobias Geerinckx-Rice
72c3763653
gnu: kexec-tools: Update to 2.0.23.
* gnu/packages/linux.scm (kexec-tools): Update to 2.0.23.
2021-11-30 01:08:52 +01:00
Petr Hodina
7e3151c19e
gnu: Add inkbox.
* gnu/packages/qt.scm (inkbox): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-29 22:18:30 +01:00
Christopher Baines
daa6c67fb4
gnu: guix-build-coordinator: Update to 0-40.226ec0f.
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-40.226ec0f.
* doc/guix.texi (Guix Build Coordinator): Remove note about the service being
considered experimental, it's been stable for a while now.
2021-11-29 21:01:26 +00:00
jgart
653bcab96d
gnu: Add python-pysox.
* gnu/packages/audio.scm (python-pysox): New variable.

Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2021-11-29 21:34:24 +05:30
Artyom V. Poptsov
4883d7fe9e
gnu: guile-gitlab: Update to 0.2.1.
* gnu/packages/guile-xyz.scm (guile-gitlab): Update to 0.2.1.
[inputs]: Use guile2.2-json instead of guile-json-1.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-11-28 22:35:37 +01:00
Nicolas Goaziou
8351f6c570
gnu: emacs-org: Update to 9.5.1.
* gnu/packages/emacs-xyz.scm (emacs-org): Update to 9.5.1.
2021-11-28 22:05:57 +01:00
Morgan Smith
5ee135df5f
gnu: emacs-org: Don't use release tar.
* gnu/packages/emacs-xyz.scm (emacs-org):
[source]: Use git repository.
[arguments]: Add phases to help with building.
[native-inputs]: Add texinfo.
2021-11-28 21:54:02 +01:00
Attila Lendvai
b8abc6c88a
gnu: trezord: Update to 2.0.31.
* gnu/packages/finance.scm (trezord): Update to 2.0.31.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28 21:31:09 +01:00
Attila Lendvai
d3448fafea
gnu: trezor-agent: Update to 0.11.0.
* gnu/packages/finance.scm (trezor-agent): Update to 0.11.0.
[source]: Use GitHub repository.
[native-inputs]: Remove python-hidapi.  Add python-attrs.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28 21:31:09 +01:00
Attila Lendvai
857098830b
gnu: python-trezor: Update to 0.12.3.
* gnu/packages/finance.scm (python-trezor): Update to 0.12.3.
[source]: Use GitHub repository.
[propagated-inputs]: Add python-attrs.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28 21:31:08 +01:00
Attila Lendvai
bf90403f42
gnu: python-trezor-agent: Update to 0.14.2.
* gnu/packages/finance.scm (python-trezor-agent): Update to 0.14.2.
[propagated-inputs]: Add python-pynacl, python-hidapi.  Remove python-ed25519.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28 21:31:08 +01:00
Attila Lendvai
25cb5bad5e
gnu: python-trezor-agent: Fix key generation with trezor-gpg init
* gnu/packages/finance.scm (trezor-agent): Add comment on why the
undoing of the wrapping is done, and also delete the irrelevant sideffect of
the now undone wrapping.
(python-trezor-agent): Add a patch that changes the python code to handle the
argv[0] changed by the wrapping.
* gnu/packages/patches/trezor-agent-fix-argv0.patch: New file.
* gnu/local.mk (dist_patch_DATA): Reference patch.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28 21:31:08 +01:00
Efraim Flashner
032d1c03b6
gnu: ruby-parallel: Update to 1.21.0.
* gnu/packages/ruby.scm (ruby-parallel): Update to 1.21.0.
2021-11-28 21:28:19 +02:00
Efraim Flashner
3401d0a7d4
gnu: ruby-minitest-hooks: Update to 1.5.0.
* gnu/packages/ruby.scm (ruby-minitest-hooks): Update to 1.5.0.
2021-11-28 21:28:19 +02:00
Efraim Flashner
3ffe6937bc
gnu: perl-test-mockmodule: Update to 0.177.0.
* gnu/packages/perl-check.scm (perl-test-mockmodule): Update to 0.177.0.
2021-11-28 21:28:19 +02:00
Efraim Flashner
2d332ba5ed
gnu: php: Remove extra glibc input.
* gnu/packages/php.scm (php)[arguments]: Use build-system's libc for
gettext.
[inputs]: Remove glibc.
2021-11-28 21:28:18 +02:00
Efraim Flashner
e8bc37945f
gnu: php: Update to 7.4.26.
* gnu/packages/php.scm (php): Update to 7.4.26.
2021-11-28 21:28:18 +02:00
Efraim Flashner
a2da8c1805
gnu: perl-sub-exporter: Update to 0.988.
* gnu/packages/perl.scm (perl-sub-exporter): Update to 0.988.
2021-11-28 21:28:18 +02:00
Efraim Flashner
915800fb9d
gnu: ruby-oj: Update to 3.13.9.
* gnu/packages/ruby.scm (ruby-oj): Update to 3.13.9.
2021-11-28 21:28:18 +02:00
Efraim Flashner
795786407c
gnu: perl-scalar-list-utils: Update to 1.60.
* gnu/packages/perl.scm (perl-scalar-list-utils): Update to 1.60.
2021-11-28 21:28:18 +02:00
Nicolas Goaziou
39f9b2804a
gnu: cataclysm-dda: Update to 0.F-3.
* gnu/packages/games.scm (cataclysm-dda): Update to 0.F-3.
2021-11-28 14:15:21 +01:00
Artyom V. Poptsov
a035256250
gnu: Add guile-gitlab.
* gnu/packages/guile-xyz.scm (guile-gitlab): New variable.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-11-28 10:58:38 +01:00
Efraim Flashner
460a38976a
gnu: uncrustify: Update to 0.74.0.
* gnu/packages/code.scm (uncrustify): Update to 0.74.0.
[native-inputs]: Remove unzip.
2021-11-28 09:18:29 +02:00
Tobias Geerinckx-Rice
f43a783871
gnu: clustershell: Update to 1.8.4.
* gnu/packages/ssh.scm (clustershell): Update to 1.8.4.
[arguments]: Don't explicitly return #t from phases.
2021-11-28 04:16:35 +01:00
Tobias Geerinckx-Rice
511a8f8d46
gnu: clustershell: Fetch sources from Git.
* gnu/packages/ssh.scm (clustershell)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2021-11-28 04:16:35 +01:00
Tobias Geerinckx-Rice
42c4acf026
gnu: perl-lingua-en-findnumber: Fix typo in synopsis.
* gnu/packages/language.scm (perl-lingua-en-findnumber)[synopsis]:
Delete trailing space.
2021-11-28 04:16:35 +01:00
Tobias Geerinckx-Rice
1586544611
gnu: libx86emu: Update to 3.5.
* gnu/packages/virtualization.scm (libx86emu): Update to 3.5.
[source]: Move hash above snippet.
2021-11-28 04:16:35 +01:00
Tobias Geerinckx-Rice
c74f7d2571
gnu: ddcci-driver-linux: Build with Linux-Libre 5.15.
* gnu/packages/linux.scm (ddcci-driver-linux): Update to 0.4.1-0.bf9d798.
2021-11-28 04:16:34 +01:00