kreyren/guix-kreyren
1
0
Fork 0
Code Issues 1 Pull Requests 1 Releases Activity
102,019 Commits 3 Branches 0 Tags 274 MiB
95fdf691b1
Commit Graph

102019 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Julien Lepiller
95fdf691b1
gnu: ocaml-uunf: Update to 15.0.0. 
* gnu/packages/ocaml.scm (ocaml-uunf): Update to 15.0.0.
 2022-09-22 07:37:00 +02:00
Julien Lepiller
c593429b43
gnu: ocaml-linenoise: Update to 1.4.0. 
* gnu/packages/ocaml.scm (ocaml-linenoise): Update to 1.4.0.
 2022-09-22 07:35:54 +02:00
Julien Lepiller
8734851a8c
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.
 2022-09-22 07:34:57 +02:00
Julien Lepiller
9f391b90fa
gnu: coq-interval: Update to 4.5.2. 
* gnu/packages/coq.scm (coq-interval): Update to 4.5.2.
 2022-09-22 07:34:43 +02:00
Julien Lepiller
9140a4dd1d
gnu: coq-mathcomp: Update to 1.15.0. 
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.15.0.
 2022-09-22 07:34:40 +02:00
Julien Lepiller
a440e905fd
gnu: coq-gappa: Update to 1.5.2. 
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.2.
 2022-09-22 07:34:37 +02:00
Julien Lepiller
1bb856d90a
gnu: coq-flocq: Update to 4.1.0. 
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0.
 2022-09-22 07:34:32 +02:00
Julien Lepiller
b7971ff798
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'.
 2022-09-22 07:34:02 +02:00
Julien Lepiller
728d5b6b06
gnu: Add ocaml-lablgtk3-sourceview3. 
* gnu/packages/ocaml.scm (ocaml-lablgtk3-sourceview3): New variable.
 2022-09-22 07:33:56 +02:00
Leo Famulari
33d4992b69
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.
 2022-09-21 22:25:51 -04:00
Leo Famulari
51778457c8
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.
 2022-09-21 22:25:51 -04:00
Leo Famulari
34a4f4ba2e
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.
 2022-09-21 22:25:51 -04:00
Leo Famulari
c8e1d21fe4
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.
 2022-09-21 22:25:50 -04:00
Leo Famulari
ceec1c7f83
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.
 2022-09-21 22:25:50 -04:00
Leo Famulari
4af8cfad82
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.
 2022-09-21 22:25:50 -04:00
Leo Famulari
9b5060f7bf
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.
 2022-09-21 22:25:50 -04:00
arkhan
89fed46752
gnu: xonsh: Update to 0.13.3. 
* gnu/packages/shells.scm (xonsh): Update to 0.13.3.

Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
 2022-09-22 10:02:38 +08:00
Rostislav Svoboda
a3fa6b1e6a
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>
 2022-09-22 09:53:07 +08:00
Michael Rohleder
d78050c01d
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>
 2022-09-22 09:44:40 +08:00
Michael Rohleder
a29cd4d911
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>
 2022-09-22 09:43:32 +08:00
Michael Rohleder
83bdd835a9
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>
 2022-09-22 09:41:14 +08:00
Ricardo Wurmus
1a1ff7ed8f
gnu: python-cooler: Skip broken test. 
* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add another
patch for tests/test_util.py.
 2022-09-21 22:19:33 +02:00
Ricardo Wurmus
cd5bbb9b42
gnu: python-cooler: Do not use flake8. 
* gnu/packages/bioinformatics.scm (python-cooler)[arguments]: Add build phase
'do-not-use-flake8.
 2022-09-21 22:19:33 +02:00
Vagrant Cascadian
97e7195930
gnu: Add python-ephem. 
* gnu/packages/astronomy.scm (python-ephem): New Variable.

Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
 2022-09-21 22:07:27 +02:00
Vagrant Cascadian
fff6407df3
gnu: Add python-suntime. 
* gnu/packages/astronomy.scm (python-suntime): New variable.

Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
 2022-09-21 22:05:07 +02:00
Andreas Enge
6885f22375
gnu: gp2c: Update to 0.0.13. 
* gnu/packages/algebra.scm (gp2c): Update to 0.0.13.
 2022-09-21 13:29:13 +02:00
Andreas Enge
2ae22cafe7
gnu: pari-gp: Update to 2.15.0. 
* gnu/packages/algebra.scm (pari-gp): Update to 2.15.0. Modernize syntax.
 2022-09-21 13:29:13 +02:00
Hunter Jozwiak
e883ea89c6
gnu: Add espeakup. 
* gnu/packages/accessibility.scm (espeakup): New variable.

Signed-off-by: Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
 2022-09-21 13:20:56 +02:00
Ricardo Wurmus
d871080a41
gnu: Add r-chromunity. 
* gnu/packages/bioinformatics.scm (r-chromunity): New variable.
 2022-09-21 11:09:46 +02:00
Ricardo Wurmus
a7f6392caa
gnu: Add r-skitools. 
* gnu/packages/bioinformatics.scm (r-skitools): New variable.
 2022-09-21 11:09:46 +02:00
Ricardo Wurmus
af663c9e48
gnu: Add r-gchain. 
* gnu/packages/bioinformatics.scm (r-gchain): New variable.
 2022-09-21 11:09:46 +02:00
Ricardo Wurmus
6ad4d74aca
gnu: Add r-gtrack. 
* gnu/packages/bioinformatics.scm (r-gtrack): New variable.
 2022-09-21 11:09:46 +02:00
Ricardo Wurmus
29634a4ce3
gnu: Add r-bamutils. 
* gnu/packages/bioinformatics.scm (r-bamutils): New variable.
 2022-09-21 11:09:45 +02:00
Ricardo Wurmus
4bd64dde2b
gnu: Add r-gutils. 
* gnu/packages/bioinformatics.scm (r-gutils): New variable.
 2022-09-21 11:09:41 +02:00
Artyom V. Poptsov
d4090c3027
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>
 2022-09-21 09:07:59 +02:00
Artyom V. Poptsov
79897a3701
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>
 2022-09-21 09:07:54 +02:00
Hilton Chain
344405475a
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>
 2022-09-21 06:27:23 +02:00
Hilton Chain
a7164abcd0
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>
 2022-09-21 06:27:23 +02:00
Hilton Chain
e76c93a56b
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>
 2022-09-21 06:27:23 +02:00
Hilton Chain
425e4f6fcd
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>
 2022-09-21 06:26:57 +02:00
Hilton Chain
5ca7ec92f5
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>
 2022-09-21 06:26:57 +02:00
Sughosha
cb2d5063a0
gnu: Add gnome-console. 
* gnu/packages/gnome.scm (gnome-console): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2022-09-21 06:26:56 +02:00
Sughosha
d6a16a1dc4
gnu: Add gnome-text-editor. 
* gnu/packages/gnome.scm (gnome-text-editor): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
 2022-09-21 06:26:56 +02:00
Ricardo Wurmus
f256614891
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.
 2022-09-20 23:57:18 +02:00
Ricardo Wurmus
0d7f2469b5
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.
 2022-09-20 23:57:18 +02:00
Nicolas Goaziou
97bbb9d603
gnu: emacs-rustic: Update to 3.4. 
* gnu/packages/emacs-xyz.scm (emacs-rustic): Update to 3.4.
 2022-09-20 21:22:07 +02:00
Nicolas Goaziou
81cda4134a
gnu: emacs-repl-toggle: Update to 0.7.2. 
* gnu/packages/emacs-xyz.scm (emacs-repl-toggle): Update to 0.7.2.
 2022-09-20 21:22:07 +02:00
Nicolas Goaziou
62911821a1
gnu: emacs-boxquote: Update to 2.3. 
* gnu/packages/emacs-xyz.scm (emacs-boxquote): Update to 2.3.
 2022-09-20 21:22:06 +02:00
Morgan Smith
90a73f6569
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>
 2022-09-20 21:22:06 +02:00
pinoaffe
7c9d8b2e96
gnu: Add emacs-pdfgrep. 
* gnu/packages/emacs-xyz.scm (emacs-pdfgrep): New variable.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
 2022-09-20 21:22:06 +02:00