| Age | Commit message (Expand) | Author |
|---|
| 2022-09-22 | gnu: ocaml-uunf: Update to 15.0.0....* gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0.
| Julien Lepiller |
| 2022-09-22 | gnu: ocaml-linenoise: Update to 1.4.0....* gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0.
| Julien Lepiller |
| 2022-09-22 | gnu: coq: Update to 8.16.0....* gnu/packages/coq.scm (coq-core): Update to 8.16.0.
(coq-bignums): Update to 8.16.0.
(coq-equations): Update to 1.3-8.16.
(coq-gappa): Adjust for changes in coq-core.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-interval: Update to 4.5.2....* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-mathcomp: Update to 1.15.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-gappa: Update to 1.5.2....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.2.
| Julien Lepiller |
| 2022-09-22 | gnu: coq-flocq: Update to 4.1.0....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0.
| Julien Lepiller |
| 2022-09-22 | gnu: lablgtk3: Update to 3.1.2....* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
`ocaml-lablgtk3-sourceview3'.
| Julien Lepiller |
| 2022-09-22 | gnu: Add ocaml-lablgtk3-sourceview3....* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
| Julien Lepiller |
| 2022-09-21 | gnu: linux-libre 4.9: Update to 4.9.239....* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.239.
(linux-libre-4.9-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre 4.14: Update to 4.14.294....* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.294.
(linux-libre-4.14-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre 4.19: Update to 4.19.259....* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.259.
(linux-libre-4.19-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre 5.4: Update to 5.4.214....* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.214.
(linux-libre-5.4-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre 5.10: Update to 5.10.144....* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.144.
(linux-libre-5.10-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre 5.15: Update to 5.15.69....* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.69.
(linux-libre-5.15-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-21 | gnu: linux-libre: Update to 5.19.10....* gnu/packages/linux.scm (linux-libre-5.19-version): Update to 5.19.10.
(linux-libre-5.19-pristine-source): Update hash.
| Leo Famulari |
| 2022-09-22 | gnu: xonsh: Update to 0.13.3....* gnu/packages/shells.scm (xonsh): Update to 0.13.3.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| arkhan |
| 2022-09-22 | gnu: clojure-tools: Update to 1.11.1.1165....* gnu/packages/clojure.scm (clojure-tools): Update to 1.11.1.1165.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Rostislav Svoboda |
| 2022-09-22 | gnu: xfce4-places-plugin: Update to 1.8.2....* gnu/packages/xfce.scm (xfce4-places-plugin): Update to 1.8.2.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Michael Rohleder |
| 2022-09-22 | gnu: xfce4-datetime-plugin: Update to 0.8.2....* gnu/packages/xfce.scm (xfce4-datetime-plugin): Update to 0.8.2.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Michael Rohleder |
| 2022-09-22 | gnu: xfce4-pulseaudio-plugin: Update to 0.4.5....* gnu/packages/xfce.scm (xfce4-pulseaudio-plugin): Update to 0.4.5.
[arguments]: Remove unnecessary phase 'augment-cflags.
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
| Michael Rohleder |
| 2022-09-21 | gnu: python-cooler: Skip broken test....* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add another
patch for tests/test_util.py.
| Ricardo Wurmus |
| 2022-09-21 | gnu: python-cooler: Do not use flake8....* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add build phase
'do-not-use-flake8.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add python-ephem....* gnu/packages/astronomy.scm (python-ephem): New Variable.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Vagrant Cascadian |
| 2022-09-21 | gnu: Add python-suntime....* gnu/packages/astronomy.scm (python-suntime): New variable.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Vagrant Cascadian |
| 2022-09-21 | gnu: gp2c: Update to 0.0.13....* gnu/packages/algebra.scm (gp2c): Update to 0.0.13.
| Andreas Enge |
| 2022-09-21 | gnu: pari-gp: Update to 2.15.0....* gnu/packages/algebra.scm (pari-gp): Update to 2.15.0. Modernize syntax.
| Andreas Enge |
| 2022-09-21 | gnu: Add espeakup....* gnu/packages/accessibility.scm (espeakup): New variable.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Hunter Jozwiak |
| 2022-09-21 | gnu: Add r-chromunity....* gnu/packages/bioinformatics.scm (r-chromunity): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add r-skitools....* gnu/packages/bioinformatics.scm (r-skitools): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add r-gchain....* gnu/packages/bioinformatics.scm (r-gchain): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add r-gtrack....* gnu/packages/bioinformatics.scm (r-gtrack): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add r-bamutils....* gnu/packages/bioinformatics.scm (r-bamutils): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: Add r-gutils....* gnu/packages/bioinformatics.scm (r-gutils): New variable.
| Ricardo Wurmus |
| 2022-09-21 | gnu: maven-slf4j-provider: Fix style....* gnu/packages/maven.scm (maven-slf4j-provider): Fix style.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Artyom V. Poptsov |
| 2022-09-21 | gnu: maven-slf4j-provider: Bugfix....* gnu/packages/maven.scm (maven-slf4j-provider): Bugfix: Don't use "tar" to
extract "java-slf4j-simple-source" as it is already unpacked; recursively copy
the source instead.
Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
| Artyom V. Poptsov |
| 2022-09-21 | gnu: telegram-desktop: Use API ID from Snap builds....* gnu/packages/telegram.scm (telegram-desktop)[#:configure-flags]: Use API ID
from Telegram's official Snap builds.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Hilton Chain |
| 2022-09-21 | gnu: telegram-desktop: Use modern package style....* gnu/packages/telegram.scm (%telegram-version)
(cmake-helpers-for-telegram-desktop, codegen-for-telegram-desktop)
(lib-base-for-telegram-desktop, lib-crl-for-telegram-desktop)
(lib-lottie-for-telegram-desktop, lib-qr-for-telegram-desktop)
(lib-rlottie-for-telegram-desktop,lib-rpl-for-telegram-desktop)
(lib-spellcheck-for-telegram-desktop, lib-storage-for-telegram-desktop)
(lib-tl-for-telegram-desktop, lib-ui-for-telegram-desktop)
(lib-waylandshells-for-telegram-desktop, lib-webrtc-for-telegram-desktop)
(lib-webview-for-telegram-desktop, tgcalls-for-telegram-desktop): New variables.
(telegram-desktop)[arguments]: Convert to list of G-Expressions.
<#:phases>: Inline cmake-helpers-for-telegram-desktop,
codegen-for-telegram-desktop, lib-base-for-telegram-desktop,
lib-crl-for-telegram-desktop, lib-lottie-for-telegram-desktop,
lib-qr-for-telegram-desktop, lib-rlottie-for-telegram-desktop,
lib-rpl-for-telegram-desktop, lib-spellcheck-for-telegram-desktop,
lib-storage-for-telegram-desktop, lib-tl-for-telegram-desktop,
lib-ui-for-telegram-desktop, lib-waylandshells-for-telegram-desktop,
lib-webrtc-for-telegram-desktop, lib-webview-for-telegram-desktop,
and tgcalls-for-telegram-desktop.
[native-inputs]: Remove cmake-helpers. Drop labels.
[inputs]: Remove codegen-source, lib-base-source, lib-crl-source,
lib-lottie-source, lib-qr-source, lib-rlottie-source, lib-rpl-source,
lib-spellcheck-source, lib-storage-source, lib-tl-source, lib-ui-source,
lib-waylandshells-source, lib-webrtc-source, lib-webview-source and
tgcalls-source. Drop labels.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Hilton Chain |
| 2022-09-21 | gnu: webrtc-for-telegram-desktop: Use modern package style....* gnu/packages/telegram.scm (libvpx-for-telegram-desktop)
(libyuv-for-telegram-desktop): New variables.
(webrtc-for-telegram-desktop)[arguments]: Convert to list of G-Expressions.
Inline libvpx-for-telegram-desktop and libyuv-for-telegram-desktop.
[inputs]: Remove libvpx and libyuv. Drop labels.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Hilton Chain |
| 2022-09-21 | gnu: telegram-desktop: Delete trailing #t....* gnu/packages/telegram.scm (telegram-desktop)[source]: Delete
trailing #t.
[arguments]<#:phases>: Likewise.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Hilton Chain |
| 2022-09-21 | gnu: webrtc-for-telegram-desktop: Delete trailing #t....* gnu/packages/telegram.scm (webrtc-for-telegram-desktop)[source]: Delete
trailing #t.
[arguments]<#:phases>: Likewise.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Hilton Chain |
| 2022-09-21 | gnu: Add gnome-console....* gnu/packages/gnome.scm (gnome-console): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Sughosha |
| 2022-09-21 | gnu: Add gnome-text-editor....* gnu/packages/gnome.scm (gnome-text-editor): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
| Sughosha |
| 2022-09-20 | gnu: guile-aiscm-next: Deprecate in favor of guile-aiscm....* gnu/packages/machine-learning.scm (guile-aiscm-next): Define as a deprecated
name for guile-aiscm.
| Ricardo Wurmus |
| 2022-09-20 | gnu: guile-aiscm: Update to 0.24.2....* gnu/packages/machine-learning.scm (guile-aiscm): Update to 0.24.2.
[arguments]: Add configure flags for OpenCV modules; add build phase
'find-clearsilver; adjust phase 'use-llvm-config; add phase
'disable-broken-test.
[inputs]: Add clearsilver, libgc, opencv, and tensorflow; replace ffmpeg with
ffmpeg-4.
[native-inputs]: Add protobuf-c; replace clang-13 and llvm-13 with clang-11
and llvm-11, respectively.
| Ricardo Wurmus |
| 2022-09-20 | gnu: emacs-rustic: Update to 3.4....* gnu/packages/emacs-xyz.scm (emacs-rustic): Update to 3.4.
| Nicolas Goaziou |
| 2022-09-20 | gnu: emacs-repl-toggle: Update to 0.7.2....* gnu/packages/emacs-xyz.scm (emacs-repl-toggle): Update to 0.7.2.
| Nicolas Goaziou |
| 2022-09-20 | gnu: emacs-boxquote: Update to 2.3....* gnu/packages/emacs-xyz.scm (emacs-boxquote): Update to 2.3.
| Nicolas Goaziou |
| 2022-09-20 | gnu: emacs-osm: Update to 0.8....* gnu/packages/emacs-xyz.scm (emacs-osm): Update to 0.8.
[arguments]<#:phases>: Add MAKEINFO phase.
[native-inputs]: Add TEXINFO.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
| Morgan Smith |
| 2022-09-20 | gnu: Add emacs-pdfgrep....* gnu/packages/emacs-xyz.scm (emacs-pdfgrep): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
| pinoaffe |
