me
/
guix
Archived
1
0
Fork 0
Commit Graph

88613 Commits (6cb7e67dc51f35e315f5ce5f252f65ef55f52dc7)

Author SHA1 Message Date
Maxim Cournoyer 92121b8e9d
gnu: Add phoronix-test-suite.
* gnu/packages/patches/phoronix-test-suite-fsdg.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/benchmark.scm (phoronix-test-suite): New variable.
(gcc-toolchain*): Likewise.
2022-06-22 10:48:37 -04:00
Peter Polidoro e74fa406e1
gnu: kicad: Update to 6.0.6.
* gnu/packages/engineering.scm (kicad): Update to 6.0.6.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2022-06-22 10:31:46 +02:00
Artyom V. Poptsov ad002d1541
gnu: prusa-slicer: Update to 2.4.2
* gnu/packages/engineering.scm (prusa-slicer): Update to 2.4.2.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2022-06-22 10:16:56 +02:00
Efraim Flashner 0ea51a8177
gnu: llvm-9: Fix building on riscv64-linux.
* gnu/packages/llvm.scm (llvm-9)[arguments]: When building for
riscv64-linux add a phase to fix building one of the binaries.
2022-06-22 09:43:27 +03:00
Niklas Eklund e4dde29e01
gnu: Add emacs-code-cells.
* gnu/packages/emacs-xyz.scm (emacs-code-cells): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-06-22 08:22:40 +02:00
Andrew Tropin 0e380c339b
gnu: Add emacs-consult-eglot.
* gnu/packages/emacs-xyz.scm (emacs-consult-eglot): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-06-22 08:20:27 +02:00
Zhu Zihao 1147e0bee3
gnu: emacs-haskell-mode: Update to 17.2-0-5a9f807.
* gnu/packages/emacs-xyz.scm (emacs-haskell-mode): Update to 17.2-0-5a9f807.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-06-22 08:17:27 +02:00
Zhu Zihao 06ec07dff5
gnu: emacs-idris-mode: Update to 1.0-1-9bc7697.
* gnu/packages/emacs-xyz.scm (emacs-idris-mode): Update to 1.0-1-9bc7697.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-06-22 08:14:32 +02:00
Jose G Perez Taveras c1097a7d3d
gnu: emacs-setup: Update to 1.3.0.
* gnu/packages/emacs-xyz.scm (emacs-setup): Update to 1.3.0.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-06-22 08:08:22 +02:00
Marius Bakke e9bd919270
gnu: libcamera: Remove input labels.
* gnu/packages/networking.scm (libcamera)[native-inputs, inputs]: Remove
labels.
2022-06-21 23:53:40 +02:00
Marius Bakke b7279f1f05
gnu: libcamera: Update to 0.0.0-1.
* gnu/packages/networking.scm (libcamera): Update to 0.0.0-1.
[arguments]: Disable Python bindings in #:configure-flags.  Disable gstreamer
tests.
[inputs]: Add LIBYAML, PYTHON-JINJA2, and PYTHON-PLY.
2022-06-21 23:53:40 +02:00
Marius Bakke ea8a7e8244
gnu: python-databricks-cli: Update to 0.17.0.
* gnu/packages/python-web.scm (python-databricks-cli): Update to 0.17.0.
[arguments]: Enable previously failing test.
[propagated-inputs]: Remove PYTHON-CONFIGPARSER.  Add PYTHON-PYJWT.
2022-06-21 23:53:40 +02:00
Marius Bakke 964731ca52
gnu: presentty: Fix build.
* gnu/packages/presentation.scm (presentty)[arguments]: Loosen requirements.
Delete sanity-check phase.
2022-06-21 23:53:40 +02:00
Marius Bakke 961c9c07e1
gnu: zabbix-cli: Update to 2.3.0.
* gnu/packages/monitoring.scm (zabbix-cli): Update to 2.3.0.
[arguments]: Convert to gexp.  Install documentation and run tests.
[native-inputs]: Add PYTHON-SPHINX and PYTHON-PYTEST.
2022-06-21 22:50:48 +02:00
Tobias Geerinckx-Rice 3589537dac
gnu: sudo: Update to 1.9.11p3.
* gnu/packages/admin.scm (sudo): Update to 1.9.11p3.
2022-06-19 02:00:00 +02:00
Jan (janneke) Nieuwenhuizen 258e69e104
gnu: dezyne: Update to 2.15.2.
* gnu/packages/dezyne.scm (dezyne)[source]: Update to 2.15.2.
2022-06-21 18:34:20 +02:00
Marius Bakke d485faf633
gnu: zabbix-cli: Use new style.
* gnu/packages/monitoring.scm (zabbix-cli)[arguments]: Use SEARCH-INPUT-FILE.
[inputs]: Remove labels.
2022-06-21 17:30:45 +02:00
Marius Bakke d29b206ef1
gnu: python-prettytable: Update to 3.3.0.
* gnu/packages/python-xyz.scm (python-prettytable): Update to 3.3.0.
[arguments]: New field.  Override check phase.
[native-inputs]: Add PYTHON-PYTEST, PYTHON-PYTEST-LAZY-FIXTURE, and
PYTHON-SETUPTOOLS-SCM.
[propagated-inputs]: Add PYTHON-WCWIDTH.
[home-page]: Update to current.
2022-06-21 17:30:45 +02:00
Marius Bakke 8dbc8d4802
gnu: python-cliff: Update to 3.10.1.
* gnu/packages/openstack.scm (python-cliff): Update to 3.10.1.
[propagated-inputs]: Add PYTHON-AUTOPAGE.  Remove PYTHON-BANDIT.
2022-06-21 17:30:44 +02:00
Marius Bakke 705c609048
gnu: Add python-autopage.
* gnu/packages/python-xyz.scm (python-autopage): New variable.
2022-06-21 17:30:44 +02:00
Marius Bakke c7738ffcad
gnu: python-ipython-sql: Remove prettytable version constraint.
* gnu/packages/python-xyz.scm (python-ipython-sql)[arguments]: Add #:phases.
2022-06-21 17:30:44 +02:00
Marius Bakke a358602d35
gnu: python-ipython-sql: Update to 0.4.1.
* gnu/packages/python-xyz.scm (python-ipython-sql): Update to 0.4.1.
[arguments]: Remove #:phases.  Add #:tests?.
2022-06-21 17:30:44 +02:00
Marius Bakke 41bf90f966
gnu: python-breathe: Update to 4.34.0.
* gnu/packages/sphinx.scm (python-breathe): Update to 4.34.0.
2022-06-21 17:30:44 +02:00
Marius Bakke 3e17136cc4
gnu: python-django-netfields: Update to 1.3.0.
* gnu/packages/django.scm (python-django-netfields): Update to 1.3.0.
2022-06-21 17:30:44 +02:00
Marius Bakke 3f310b6565
gnu: python-django-auth-ldap: Update to 4.1.0.
* gnu/packages/django.scm (python-django-auth-ldap): Update to 4.1.0.
2022-06-21 17:30:44 +02:00
Marius Bakke 779853e926
gnu: python-pika: Update to 1.2.1.
* gnu/packages/python-xyz.scm (python-pika): Update to 1.2.1.
[arguments]: Adjust tests for nose2.  Respect #:tests? keyword.
[native-inputs]: Remove PYTHON-NOSE; add PYTHON-NOSE2.
2022-06-21 17:30:44 +02:00
Marius Bakke c3f6049a41
gnu: python-nose2: Update to 0.11.0.
* gnu/packages/check.scm (python-nose2): Update to 0.11.0.
[arguments]: Add #:phases.  Remove #:tests?.
[propagated-inputs]: Remove PYTHON-COV-CORE and PYTHON-PYTEST-COV.
[native-inputs]: Add PYTHON-COVERAGE.
2022-06-21 17:30:44 +02:00
Marius Bakke acdd0c282f
gnu: python-faiss: Fix build on Python 3.9.
* gnu/packages/graph.scm (python-faiss)[arguments]: Remove "m" suffix to
Python library path.
2022-06-21 17:30:44 +02:00
Andreas Enge d13ffd1580
gnu: cmh: Add patch to work with current fplll.
* gnu/packages/patches/cmh-support-fplll.patch: New file.
* gnu/packages/algebra.scm (cmh)[source]: Add patch.
* gnu/local.mk (dist_patch_DATA): Register patch.
2022-06-21 16:12:47 +02:00
muradm 0fe0c739f5
gnu: Update kanshi to 1.2.0.
* gnu/packages/wm.scm (kanshi): Update to 1.2.0.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-06-21 12:35:17 +01:00
Nikolay Korotkiy 7ba04443c5
gnu: sfeed: Update to 1.5.
* gnu/packages/suckless.scm (sfeed): Update to 1.5.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-06-21 12:35:17 +01:00
Manolis Ragkousis 55567ca434
gnu: networking: Add arp-scan
* gnu/packages/networking.scm (arp-scan): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
2022-06-21 12:35:15 +01:00
Christopher Baines 76baecf58f
gnu: nar-herder: Add guile-lzlib as an input.
* gnu/packages/package-management.scm
(nar-herder)[native-inputs,propagated-inputs]: Add guile-lzlib.
[arguments]: Wrap with guile-lzlib.
2022-06-21 12:35:05 +01:00
Nicolas Goaziou 7911f6ff04
gnu: fet: Update to 6.5.3.
* gnu/packages/education.scm (fet): Update to 6.5.3.
2022-06-21 11:39:34 +02:00
Efraim Flashner deeec484a6
gnu: python-pyzmq: Remove bundled and generated code.
* gnu/packages/python-xyz.scm (python-pyzmq)[source]: Add snippet to
remove bundled source code and pre-cythonized files.
2022-06-21 11:49:44 +03:00
Nicolas Goaziou 2773cc8927
gnu: emacs-web-mode: Update to 17.2.1.
* gnu/packages/emacs-xyz.scm (emacs-web-mode): Update to 17.2.1.
2022-06-21 10:42:42 +02:00
Nicolas Goaziou 0e415a8c6f
gnu: emacs-embark: Update to 0.17.
* gnu/packages/emacs-xyz.scm (emacs-embark): Update to 0.17.
2022-06-21 10:39:47 +02:00
Nicolas Goaziou d608201d6e
gnu: emacs-vertico: Update to 0.24.
* gnu/packages/emacs-xyz.scm (emacs-vertico): Update to 0.24.
2022-06-21 10:38:01 +02:00
Nicolas Goaziou b27c137cb8
gnu: emacs-flycheck: Update to 32.
* gnu/packages/emacs-xyz.scm (emacs-flycheck): Update to 32.
2022-06-21 10:34:52 +02:00
Nicolas Goaziou c4b9c2e6c8
gnu: emacs-consult: Update to 0.18.
* gnu/packages/emacs-xyz.scm (emacs-consult): Update to 0.18.
[propagated-inputs]: Add emacs-compat.
2022-06-21 10:31:13 +02:00
Nicolas Goaziou b66f8aa154
gnu: Add emacs-compat.
* gnu/packages/emacs-xyz.scm (emacs-compat): New variable.
2022-06-21 10:31:01 +02:00
Nicolas Goaziou c07235adfc
gnu: emacs-elpher: Update to 3.4.1.
* gnu/packages/emacs-xyz.scm (emacs-elpher): Update to 3.4.1.
2022-06-21 10:10:59 +02:00
Marius Bakke c546a776d5
gnu: PostgreSQL: Update to 14.4.
* gnu/packages/databases.scm (postgresql-14): Update to 14.4.
2022-06-20 23:51:21 +02:00
Marius Bakke b4a14edf69
gnu: drbd-utils: Generate manual pages.
* gnu/packages/cluster.scm (drbd-utils)[arguments]: Remove
"--with-prebuiltman" from #:configure-flags.  Add phase
'disable-ja-translation.
[native-inputs]: Add DOCBOOK-XML, DOCBOOK-XML-4.4, DOCBOOK-XSL, LIBXML2,
LIBXSLT, and RUBY-ASCIIDOCTOR.
2022-06-20 23:51:20 +02:00
Marius Bakke 946ec002b0
gnu: drbd-utils: Use new style.
* gnu/packages/cluster.scm (drbd-utils)[arguments]: Use G-expression.
[native-inputs]: Remove labels.
2022-06-20 23:51:20 +02:00
Marius Bakke 1216eb5a5a
gnu: drbd-utils: Update to 9.21.2.
* gnu/packages/cluster.scm (drbd-utils): Update to 9.21.2.
2022-06-20 23:51:20 +02:00
Marius Bakke e8fd7017c8
gnu: drbd-utils: Add release-monitoring-url.
* gnu/packages/cluster.scm (drbd-utils)[properties]: New field.
2022-06-20 23:51:20 +02:00
Efraim Flashner 2af3f5eef0
gnu: libhttpd: Update to 1.4.65.
* gnu/packages/web.scm (libhttpd): Update to 1.4.65.
2022-06-20 15:47:29 +03:00
Nikolay Korotkiy 723d1bbbd2
gnu: gpxsee: Update to 11.1.
* gnu/packages/gps.scm (gpxsee): Update to 11.1.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2022-06-20 14:02:27 +02:00
Paul A. Patience a606eea4bc
gnu: Add cl-compiler-macro.
* gnu/packages/lisp-xyz.scm (sbcl-compiler-macro, cl-compiler-macro,
  ecl-compiler-macro): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2022-06-20 14:02:27 +02:00
Efraim Flashner ceb508528f
gnu: rust-cargo-c: Add missing input.
This is a follow-up to 6f2df20b0f.

* gnu/packages/rust-apps.scm (rust-cargo-c)[inputs]: Add libgit2-1.3.
2022-06-20 14:31:40 +03:00
Efraim Flashner 6f2df20b0f
gnu: rust-libgit2-sys-0.12: Remove bundled library.
This fixes <https://issues.guix.gnu.org/56020>.

* gnu/packages/crates-io.scm (rust-libgit2-sys-0.12)[source]: Add
snippet to remove bundled code.
2022-06-20 14:16:13 +03:00
Efraim Flashner 8d342711dd
gnu: vlc: Update to 3.0.17.4.
* gnu/packages/video.scm (vlc): Update to 3.0.17.4.
2022-06-20 13:57:52 +03:00
Efraim Flashner d2580a3f2e
gnu: vlc: Add release-monitoring-url property.
* gnu/packages/video.scm (vlc)[properties]: New field.
2022-06-20 13:35:11 +03:00
Mathieu Othacehe a692824006
gnu: xdg-desktop-portal-gtk: Update to 1.14.0.
* gnu/packages/freedesktop.scm (xdg-desktop-portal-gtk): Update to 1.14.0.
2022-06-20 12:14:36 +02:00
Mathieu Othacehe 38d7e6d6b7
gnu: xdg-desktop-portal: Update to 1.14.4.
* gnu/packages/freedesktop.scm (xdg-desktop-portal): Update to 1.14.4.
[inputs]: Add gdk-pixbuf, use fuse@3.
[arguments]: Build without systemd, set HOME variable.
2022-06-20 12:14:35 +02:00
Ludovic Courtès 73761d8049
gnu: lxd: Remove input labels.
* gnu/packages/virtualization.scm (lxd)[arguments]: In 'install' phase,
refer to "bash-minimal" instead of "bash".
[inputs]: Remove labels.
2022-06-19 23:14:57 +02:00
Brian Cully dbe221a89a
gnu: lxd: Add ‘attr’ to inputs and use it in wrapper.
Fixes issue with lxd crashing on startup with:

  Error: exec: "setfattr": executable file not found in $PATH

* gnu/packages/virtualization.scm (lxd)[arguments]: In 'install' phase,
add "attr" to the list of packages used in 'wrap-program'.
[inputs]: Add ATTR.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-06-19 23:14:56 +02:00
Philip McGrath d5a9f2a404
gnu: Add cctools.
* gnu/packages/darwin.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/darwin.scm (cctools): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2022-06-19 23:14:56 +02:00
Andreas Enge a050044255
gnu: Add texlive-floatflt.
* gnu/packages/tex.scm (texlive-floatflt): New variable.
2022-06-19 21:19:59 +02:00
Artyom V. Poptsov 0d461393e4
gnu: Add maven-doxia-sink-api.
* gnu/packages/maven.scm (maven-doxia-sink-api): New variable.
(maven-doxia-parent-pom): New private variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-06-19 21:01:13 +02:00
Tobias Geerinckx-Rice 7f1cb1ebca
gnu: barrier: Fix source hash.
The previous hash matches that of ‘guix hash -rx .’ on a pristine v2.4.0
checkout — without any submodules.  We clone recursive?ly, so update the
hash to include them.

Closes <https://issues.guix.gnu.org/56091>.

* gnu/packages/barrier.scm (barrier)[source]: Fix hash.

Reported by Vishakh Kumar <grokkingstuff@gmail.com>.
2022-06-12 02:00:00 +02:00
Efraim Flashner 1e3046810a
gnu: python-numpy: Skip 2 more tests on riscv64-linux.
* gnu/packages/python-xyz.scm (python-numpy)[arguments]: Adjust custom
'check phase to skip two more tests when building for riscv64-linux.
2022-06-19 16:18:40 +03:00
Pierre Neidhardt 77db24ff5b
gnu: sbcl-nfiles: Update to 0.4.2.
* gnu/packages/lisp-xyz.scm (sbcl-nfiles): Update to 0.4.2.
2022-06-19 12:30:26 +02:00
Pierre Neidhardt e264e25038
gnu: sbcl-cl-webkit: Update to 3.5.3.
* gnu/packages/lisp-xyz.scm (sbcl-cl-webkit): Update to 3.5.3.
2022-06-19 12:07:04 +02:00
Pierre Neidhardt 3cc5ffd3f1
gnu: sbcl-cmd: Update to 20220616.
* gnu/packages/lisp-xyz.scm (sbcl-cmd): Update to 20220616.
2022-06-19 11:56:47 +02:00
Pierre Neidhardt df77caf925
gnu: emacs-lispy: Update to 20220209.
* gnu/packages/emacs-xyz.scm (emacs-lispy): Update to 20220209.
2022-06-19 11:53:01 +02:00
Artyom V. Poptsov 3f8bb2d6b9
gnu: Add java-asm-commons.
* gnu/packages/java.scm (java-asm-commons-8): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-06-18 21:14:53 +02:00
Vinicius Monego b2f2fdb37e
gnu: orange: Update to 3.32.0.
* gnu/packages/orange.scm (orange): Update to 3.32.0.
2022-06-18 13:07:10 -03:00
Vinicius Monego b7ebf26036
gnu: freecad: Update to 0.20.
* gnu/packages/engineering.scm (freecad): Update to 0.20.
2022-06-18 13:07:10 -03:00
Vinicius Monego ea6738c74f
gnu: gimp: Update to 2.10.32.
* gnu/packages/gimp.scm (gimp): Update to 2.10.32.
2022-06-18 13:07:10 -03:00
Vinicius Monego 0d7d5a05c7
gnu: gegl: Update to 0.4.36.
* gnu/packages/gimp.scm (gegl): Update to 0.4.36.
2022-06-18 13:07:10 -03:00
Vinicius Monego f7882f7b75
gnu: babl: Update to 0.1.92.
* gnu/packages/gimp.scm (babl): Update to 0.1.92.
2022-06-18 13:07:10 -03:00
Vinicius Monego dc5a73b606
gnu: photoflare: Update to 1.6.10.
* gnu/packages/photo.scm (photoflare): Update to 1.6.10.
2022-06-18 13:07:09 -03:00
Vinicius Monego aa718586fa
gnu: python-scikit-image: Update to 0.19.3.
* gnu/packages/python-science.scm (python-scikit-image): Update to 0.19.3.
2022-06-18 13:07:09 -03:00
Vinicius Monego cebe0f127f
gnu: openxr: Update to 1.0.23.
* gnu/packages/graphics.scm (openxr): Update to 1.0.23.
2022-06-18 13:07:09 -03:00
Vinicius Monego fbf69d1c08
gnu: gthumb: Update to 3.12.2.
* gnu/packages/gnome.scm (gthumb): Update to 3.12.2.
2022-06-18 13:07:09 -03:00
Vinicius Monego 22f71351ea
gnu: markets: Update to 0.5.4.
* gnu/packages/gnome-xyz.scm (markets): Update to 0.5.4.
2022-06-18 13:07:09 -03:00
Vinicius Monego 321f445bd1
gnu: srain: Update to 1.4.0.
* gnu/packages/irc.scm (srain): Update to 1.4.0.
2022-06-18 13:07:09 -03:00
Vinicius Monego f91797b1e5
gnu: muse-sequencer: Use Gexps.
* gnu/packages/music.scm (muse-sequencer)[arguments]: Use Gexps.
2022-06-18 13:06:45 -03:00
Vinicius Monego e2de652d57
gnu: muse-sequencer: Update to 4.1.0.
* gnu/packages/music.scm (muse-sequencer): Update to 4.1.0.
2022-06-18 13:06:41 -03:00
Julien Lepiller 85d7ad2be8
gnu: ocaml-ezjsonm: Update to 1.3.0.
* gnu/packages/ocaml.scm (ocaml-ezjsonm): Update to 1.3.0.
2022-06-18 13:15:22 +02:00
Julien Lepiller 0bf2cf1351
gnu: Add ocaml-ezjsonm.
* gnu/packages/ocaml.scm (ocaml4.07-ezjsonm): Rename to...
(ocaml-ezjsonm): ...this.  Use latest ocaml version.
2022-06-18 13:15:21 +02:00
Julien Lepiller 7b615e3e6c
gnu: Add ocaml-piqi.
* gnu/packages/ocaml.scm (ocaml4.07-piqi): Rename to...
(ocaml-piqi): ...this.  Use latest ocaml.
2022-06-18 13:15:21 +02:00
Julien Lepiller 4a94cfbe4d
gnu: Add ocaml-piqilib.
* gnu/packages/ocaml.scm (ocaml4.07-piqilib): Rename to...
(ocaml-piqilib): ...this.  Use latest ocaml version.
2022-06-18 13:15:21 +02:00
Julien Lepiller 0133c000c9
gnu: ocaml-sexplib0: Update to 0.15.1.
* gnu/packages/ocaml.scm (ocaml-sexplib0): Update to 0.15.1.
2022-06-18 13:15:20 +02:00
Julien Lepiller 3cd53fc08f
gnu: omake: Update to 0.10.5.
* gnu/packages/ocaml.scm (omake): Update to 0.10.5.
* gnu/packages/patches/omake-fix-non-determinism.patch: Adjust for new
  version.
2022-06-18 13:15:20 +02:00
Julien Lepiller 773837bfd2
gnu: ocaml-easy-format: Update to 1.3.4.
* gnu/packages/ocaml.scm (ocaml-easy-format): Update to 1.3.4.
2022-06-18 13:15:19 +02:00
Julien Lepiller fcb23bf406
gnu: ocamlformat: Update to 0.22.4.
* gnu/packages/ocaml.scm (ocamlformat): Update to 0.22.4.
2022-06-18 13:15:19 +02:00
Julien Lepiller f25033d9ea
gnu: ocaml-tsdl: Update to 0.9.9.
* gnu/packages/ocaml.scm (ocaml-tsdl): Update to 0.9.9.
2022-06-18 13:15:18 +02:00
Julien Lepiller ad91e2a010
gnu: ocaml-utop: Update to 2.9.2.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.9.2.
2022-06-18 13:15:17 +02:00
Julien Lepiller a24dbd25eb
gnu: coq: Update to 8.15.2.
* gnu/packages/coq.scm (coq-core): Update to 8.15.2.
2022-06-18 13:15:09 +02:00
Wiktor Żelazny eb5df275ce
gnu: Add r-gghalves.
* gnu/packages/cran.scm (r-gghalves): New variable.

Co-authored-by: Ricardo Wurmus <rekado@elephly.net>
2022-06-18 10:51:12 +02:00
Leo Famulari 3154b58256
gnu: linux-libre 4.9: Update to 4.9.318.
* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.318.
(linux-libre-4.9-pristine-source): Update hash.
2022-06-17 18:56:59 -04:00
Leo Famulari d1d4d96f21
gnu: linux-libre 4.14: Update to 4.14.283.
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.283.
(linux-libre-4.14-pristine-source): Update hash.
2022-06-17 18:56:58 -04:00
Leo Famulari 5db786663d
gnu: linux-libre 4.19: Update to 4.19.247.
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.247.
(linux-libre-4.19-pristine-source): Update hash.
2022-06-17 18:56:58 -04:00
Leo Famulari f5d216f21e
gnu: linux-libre 5.4: Update to 5.4.198.
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.198.
(linux-libre-5.4-pristine-source): Update hash.
2022-06-17 18:56:58 -04:00
Leo Famulari f0af475b7e
gnu: linux-libre 5.10: Update to 5.10.122.
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.122.
(linux-libre-5.10-pristine-source): Update hash.
2022-06-17 18:56:58 -04:00
Leo Famulari bd601a68b8
gnu: linux-libre 5.15: Update to 5.15.47.
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.47.
(linux-libre-5.15-pristine-source): Update hash.
2022-06-17 18:56:57 -04:00
Leo Famulari a59b981d0d
gnu: linux-libre: Update to 5.17.15.
* gnu/packages/linux.scm (linux-libre-5.17-version): Update to 5.17.15.
(linux-libre-5.17-pristine-source): Update hash.
2022-06-17 18:56:50 -04:00