aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2022-09-22gnu: coq: Update to 8.16.0.Julien Lepiller
* 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.
2022-09-22gnu: coq-interval: Update to 4.5.2.Julien Lepiller
* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.
2022-09-22gnu: coq-mathcomp: Update to 1.15.0.Julien Lepiller
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
2022-09-22gnu: coq-gappa: Update to 1.5.2.Julien Lepiller
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.2.
2022-09-22gnu: coq-flocq: Update to 4.1.0.Julien Lepiller
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0.
2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller
* 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'.
2022-09-22gnu: Add ocaml-lablgtk3-sourceview3.Julien Lepiller
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
2022-09-21gnu: linux-libre 4.9: Update to 4.9.239.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.9-version): Update to 4.9.239. (linux-libre-4.9-pristine-source): Update hash.
2022-09-21gnu: linux-libre 4.14: Update to 4.14.294.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.14-version): Update to 4.14.294. (linux-libre-4.14-pristine-source): Update hash.
2022-09-21gnu: linux-libre 4.19: Update to 4.19.259.Leo Famulari
* gnu/packages/linux.scm (linux-libre-4.19-version): Update to 4.19.259. (linux-libre-4.19-pristine-source): Update hash.
2022-09-21gnu: linux-libre 5.4: Update to 5.4.214.Leo Famulari
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.214. (linux-libre-5.4-pristine-source): Update hash.
2022-09-21gnu: linux-libre 5.10: Update to 5.10.144.Leo Famulari
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.144. (linux-libre-5.10-pristine-source): Update hash.
2022-09-21gnu: linux-libre 5.15: Update to 5.15.69.Leo Famulari
* gnu/packages/linux.scm (linux-libre-5.15-version): Update to 5.15.69. (linux-libre-5.15-pristine-source): Update hash.
2022-09-21gnu: linux-libre: Update to 5.19.10.Leo Famulari
* gnu/packages/linux.scm (linux-libre-5.19-version): Update to 5.19.10. (linux-libre-5.19-pristine-source): Update hash.
2022-09-22gnu: xonsh: Update to 0.13.3.arkhan
* gnu/packages/shells.scm (xonsh): Update to 0.13.3. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-09-22gnu: clojure-tools: Update to 1.11.1.1165.Rostislav Svoboda
* gnu/packages/clojure.scm (clojure-tools): Update to 1.11.1.1165. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-09-22gnu: xfce4-places-plugin: Update to 1.8.2.Michael Rohleder
* gnu/packages/xfce.scm (xfce4-places-plugin): Update to 1.8.2. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-09-22gnu: xfce4-datetime-plugin: Update to 0.8.2.Michael Rohleder
* gnu/packages/xfce.scm (xfce4-datetime-plugin): Update to 0.8.2. Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
2022-09-22gnu: xfce4-pulseaudio-plugin: Update to 0.4.5.Michael Rohleder
* 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>
2022-09-21gnu: python-cooler: Skip broken test.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add another patch for tests/test_util.py.
2022-09-21gnu: python-cooler: Do not use flake8.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add build phase 'do-not-use-flake8.
2022-09-21gnu: Add python-ephem.Vagrant Cascadian
* gnu/packages/astronomy.scm (python-ephem): New Variable. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
2022-09-21gnu: Add python-suntime.Vagrant Cascadian
* gnu/packages/astronomy.scm (python-suntime): New variable. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
2022-09-21gnu: gp2c: Update to 0.0.13.Andreas Enge
* gnu/packages/algebra.scm (gp2c): Update to 0.0.13.
2022-09-21gnu: pari-gp: Update to 2.15.0.Andreas Enge
* gnu/packages/algebra.scm (pari-gp): Update to 2.15.0. Modernize syntax.
2022-09-21gnu: Add espeakup.Hunter Jozwiak
* gnu/packages/accessibility.scm (espeakup): New variable. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
2022-09-21gnu: Add r-chromunity.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-chromunity): New variable.
2022-09-21gnu: Add r-skitools.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-skitools): New variable.
2022-09-21gnu: Add r-gchain.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-gchain): New variable.
2022-09-21gnu: Add r-gtrack.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-gtrack): New variable.
2022-09-21gnu: Add r-bamutils.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-bamutils): New variable.
2022-09-21gnu: Add r-gutils.Ricardo Wurmus
* gnu/packages/bioinformatics.scm (r-gutils): New variable.
2022-09-21gnu: maven-slf4j-provider: Fix style.Artyom V. Poptsov
* gnu/packages/maven.scm (maven-slf4j-provider): Fix style. Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
2022-09-21gnu: maven-slf4j-provider: Bugfix.Artyom V. Poptsov
* 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>
2022-09-21gnu: telegram-desktop: Use API ID from Snap builds.Hilton Chain
* 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>
2022-09-21gnu: telegram-desktop: Use modern package style.Hilton Chain
* 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>
2022-09-21gnu: webrtc-for-telegram-desktop: Use modern package style.Hilton Chain
* 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>
2022-09-21gnu: telegram-desktop: Delete trailing #t.Hilton Chain
* gnu/packages/telegram.scm (telegram-desktop)[source]: Delete trailing #t. [arguments]<#:phases>: Likewise. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2022-09-21gnu: webrtc-for-telegram-desktop: Delete trailing #t.Hilton Chain
* 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>
2022-09-21gnu: Add gnome-console.Sughosha
* gnu/packages/gnome.scm (gnome-console): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2022-09-21gnu: Add gnome-text-editor.Sughosha
* gnu/packages/gnome.scm (gnome-text-editor): New variable. Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2022-09-20gnu: guile-aiscm-next: Deprecate in favor of guile-aiscm.Ricardo Wurmus
* gnu/packages/machine-learning.scm (guile-aiscm-next): Define as a deprecated name for guile-aiscm.
2022-09-20gnu: guile-aiscm: Update to 0.24.2.Ricardo Wurmus
* 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.
2022-09-20gnu: emacs-rustic: Update to 3.4.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-rustic): Update to 3.4.
2022-09-20gnu: emacs-repl-toggle: Update to 0.7.2.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-repl-toggle): Update to 0.7.2.
2022-09-20gnu: emacs-boxquote: Update to 2.3.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-boxquote): Update to 2.3.
2022-09-20gnu: emacs-osm: Update to 0.8.Morgan Smith
* 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>
2022-09-20gnu: Add emacs-pdfgrep.pinoaffe
* gnu/packages/emacs-xyz.scm (emacs-pdfgrep): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2022-09-20gnu: emacs-setup: Update to 1.3.2.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-setup): Update to 1.3.2.
2022-09-20gnu: emacs-taxy: Update to 0.10.1.Nicolas Goaziou
* gnu/packages/emacs-xyz.scm (emacs-taxy): Update to 0.10.1.
generated by cgit