TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
86046 commits 102 branches 35 tags 561 MiB
Commit graph

86046 commits

This branch
This branch
All branches
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