summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Collapse)Author
2021-11-30gnu: coq: Update to 8.14.0.Julien Lepiller
* 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-30gnu: proof-general: Update to latest commit.Julien Lepiller
* gnu/packages/coq.scm (proof-general): Update to latest commit. [license]: Change to glp3+.
2021-11-30gnu: coq-semantics: Update to 8.14.0.Julien Lepiller
* gnu/packages/coq.scm (coq-semantics): Update to 8.14.0.
2021-11-30services: Accept <inferior-package>s in lieu of <package>s.Tobias Geerinckx-Rice
* 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-30gnu: squashfs-tools: Update to 4.5.Tobias Geerinckx-Rice
* gnu/packages/compression.scm (squashfs-tools): Update to 4.5.
2021-11-30gnu: toybox: Update to 0.8.5.Tobias Geerinckx-Rice
* 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-30gnu: indi: Update to 1.9.3.Tobias Geerinckx-Rice
* gnu/packages/astronomy.scm (indi): Update to 1.9.3.
2021-11-30gnu: simdjson: Update to 1.0.2.Tobias Geerinckx-Rice
* gnu/packages/cpp.scm (simdjson): Update to 1.0.2.
2021-11-30gnu: diffoscope: Update to 194.Tobias Geerinckx-Rice
* gnu/packages/diffoscope.scm (diffoscope): Update to 194.
2021-11-30gnu: lttoolbox: Omit static libraries.Tobias Geerinckx-Rice
* gnu/packages/dictionaries.scm (lttoolbox)[arguments]: Add "--disable-static" to #:configure-flags.
2021-11-30gnu: lttoolbox: Update to 3.5.4.Tobias Geerinckx-Rice
* gnu/packages/dictionaries.scm (lttoolbox): Update to 3.5.4.
2021-11-30gnu: quazip@1: Update to 1.2.Tobias Geerinckx-Rice
* gnu/packages/compression.scm (quazip): Update to 1.2.
2021-11-30gnu: thefuck: Update to 3.31.Tobias Geerinckx-Rice
* gnu/packages/admin.scm (thefuck): Update to 3.31. [arguments]: Don't call buggy settings.init() during test suite.
2021-11-30gnu: xa: Update to 2.3.12.Tobias Geerinckx-Rice
* gnu/packages/assembly.scm (xa): Update to 2.3.12.
2021-11-30gnu: rxvt-unicode: Update to 9.30.Tobias Geerinckx-Rice
* gnu/packages/xdisorg.scm (rxvt-unicode): Update to 9.30.
2021-11-30gnu: ethtool: Update to 5.15.Tobias Geerinckx-Rice
* gnu/packages/networking.scm (ethtool): Update to 5.15.
2021-11-30gnu: btrfs-progs: Update to 5.15.1.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (btrfs-progs): Update to 5.15.1.
2021-11-30gnu: powerstat: Update to 0.02.27.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (powerstat): Update to 0.02.27.
2021-11-30gnu: powerstat: Fetch sources from Git.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (powerstat)[source]: Use GIT-FETCH and GIT-FILE-NAME.
2021-11-30gnu: usbutils: Update to 014.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (usbutils): Update to 014. [arguments]: Remove obsolete autogen.sh substitution. Don't explicitly return #t from phases.
2021-11-30gnu: xfsprogs: Omit static library.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (xfsprogs)[arguments]: Add "--disable-static" to #:configure-flags. (xfsprogs-static)[arguments]: Undo it.
2021-11-30gnu: xfsprogs: Update to 5.14.0.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (xfsprogs): Update to 5.14.0. [inputs]: Add liburcu.
2021-11-30gnu: kexec-tools: Update to 2.0.23.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (kexec-tools): Update to 2.0.23.
2021-11-29gnu: Add inkbox.Petr Hodina
* gnu/packages/qt.scm (inkbox): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-29gnu: guix-build-coordinator: Update to 0-40.226ec0f.Christopher Baines
* 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-29gnu: Add python-pysox.jgart
* gnu/packages/audio.scm (python-pysox): New variable. Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2021-11-28gnu: guile-gitlab: Update to 0.2.1.Artyom V. Poptsov
* 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-28gnu: emacs-org: Update to 9.5.1.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-org): Update to 9.5.1.
2021-11-28gnu: emacs-org: Don't use release tar.Morgan Smith
* gnu/packages/emacs-xyz.scm (emacs-org): [source]: Use git repository. [arguments]: Add phases to help with building. [native-inputs]: Add texinfo.
2021-11-28gnu: trezord: Update to 2.0.31.Attila Lendvai
* gnu/packages/finance.scm (trezord): Update to 2.0.31. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-28gnu: trezor-agent: Update to 0.11.0.Attila Lendvai
* 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-28gnu: python-trezor: Update to 0.12.3.Attila Lendvai
* 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-28gnu: python-trezor-agent: Update to 0.14.2.Attila Lendvai
* 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-28gnu: python-trezor-agent: Fix key generation with trezor-gpg initAttila Lendvai
* 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-28gnu: ruby-parallel: Update to 1.21.0.Efraim Flashner
* gnu/packages/ruby.scm (ruby-parallel): Update to 1.21.0.
2021-11-28gnu: ruby-minitest-hooks: Update to 1.5.0.Efraim Flashner
* gnu/packages/ruby.scm (ruby-minitest-hooks): Update to 1.5.0.
2021-11-28gnu: perl-test-mockmodule: Update to 0.177.0.Efraim Flashner
* gnu/packages/perl-check.scm (perl-test-mockmodule): Update to 0.177.0.
2021-11-28gnu: php: Remove extra glibc input.Efraim Flashner
* gnu/packages/php.scm (php)[arguments]: Use build-system's libc for gettext. [inputs]: Remove glibc.
2021-11-28gnu: php: Update to 7.4.26.Efraim Flashner
* gnu/packages/php.scm (php): Update to 7.4.26.
2021-11-28gnu: perl-sub-exporter: Update to 0.988.Efraim Flashner
* gnu/packages/perl.scm (perl-sub-exporter): Update to 0.988.
2021-11-28gnu: ruby-oj: Update to 3.13.9.Efraim Flashner
* gnu/packages/ruby.scm (ruby-oj): Update to 3.13.9.
2021-11-28gnu: perl-scalar-list-utils: Update to 1.60.Efraim Flashner
* gnu/packages/perl.scm (perl-scalar-list-utils): Update to 1.60.
2021-11-28gnu: cataclysm-dda: Update to 0.F-3.Nicolas Goaziou
* gnu/packages/games.scm (cataclysm-dda): Update to 0.F-3.
2021-11-28gnu: Add guile-gitlab.Artyom V. Poptsov
* gnu/packages/guile-xyz.scm (guile-gitlab): New variable. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-11-28gnu: uncrustify: Update to 0.74.0.Efraim Flashner
* gnu/packages/code.scm (uncrustify): Update to 0.74.0. [native-inputs]: Remove unzip.
2021-11-28gnu: clustershell: Update to 1.8.4.Tobias Geerinckx-Rice
* gnu/packages/ssh.scm (clustershell): Update to 1.8.4. [arguments]: Don't explicitly return #t from phases.
2021-11-28gnu: clustershell: Fetch sources from Git.Tobias Geerinckx-Rice
* gnu/packages/ssh.scm (clustershell)[source]: Use GIT-FETCH and GIT-FILE-NAME.
2021-11-28gnu: perl-lingua-en-findnumber: Fix typo in synopsis.Tobias Geerinckx-Rice
* gnu/packages/language.scm (perl-lingua-en-findnumber)[synopsis]: Delete trailing space.
2021-11-28gnu: libx86emu: Update to 3.5.Tobias Geerinckx-Rice
* gnu/packages/virtualization.scm (libx86emu): Update to 3.5. [source]: Move hash above snippet.
2021-11-28gnu: ddcci-driver-linux: Build with Linux-Libre 5.15.Tobias Geerinckx-Rice
* gnu/packages/linux.scm (ddcci-driver-linux): Update to 0.4.1-0.bf9d798.