| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-ryo-modal): Update to 0.45.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.161.
(linux-libre-5.4-pristine-source): Update hash.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.81.
(linux-libre-5.10-pristine-source): Update hash.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.21.
(linux-libre-5.14-pristine-source): Update hash.
|
|
|
|
| |
* gnu/packages/algebra.scm (arb): Update to 2.21.1.
|
|
|
|
| |
* gnu/packages/algebra.scm (flint): Update to 2.8.4.
|
|
|
|
| |
* gnu/packages/algebra.scm (pari-gp): Update to 2.13.3.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-form-feed): Update to 0.2.3.
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-portal): Update to 1.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
|
|
| |
* gnu/packages/lisp-xyz.scm (sbcl-yxorp): Update to 0.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-eldev): Update to 0.10.1.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.3.
|
|
|
|
|
|
| |
* gnu/packages/gnuzilla.scm (lz4json): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
|
| |
* gnu/packages/linux.scm (lttng-tools): Bump version.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
|
|
|
|
|
|
| |
* gnu/packages/linux.scm (lttng-ust): Bump version.
[native-inputs]: Add pkg-config.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
|
|
|
|
|
| |
* gnu/packages/linux.scm (babeltrace): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
|
|
|
|
|
| |
* guix/import/opam.scm (metadata-ref): Return #f if field is present,
but its content is of unknown form.
|
|
|
|
|
|
| |
* gnu/packages/messaging.scm (qxmpp): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
|
| |
* gnu/packages/wm.scm (devour): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
|
| |
* gnu/packages/video.scm (libplacebo): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
|
| |
* gnu/packages/emulators.scm (sameboy): Update to 0.14.7.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
|
|
|
|
|
| |
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-38.d46e9ac.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-merlin-reader): Update to 4.3.1-411.
|
|
|
|
| |
* gnu/packages/emacs-xyz.scm (emacs-citar): Update to 0.9.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
|
|
|
|
| |
* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
|
|
|
|
|
|
| |
* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
|
|
|
|
|
|
| |
* gnu/packages/ibus.scm (ibus-theme-tools): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
|
|
|
|
|
|
| |
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-customize-ibus): New
variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
|
|
|
|
|
| |
* gnu/packages/calendar.scm (gsimplecal): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
|
|
|
|
| |
* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this. Use latest ocaml package.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80.
(linux-libre-5.10-pristine-source): Update hash.
|
|
|
|
|
| |
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20.
(linux-libre-5.14-pristine-source): Update hash.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
|
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.4.
[native-inputs]: Remove ocamlbuild.
[propagated-inputs]: Remove ocaml-ppx-tools-versioned.
(ocaml4.07-sedlex)[propagated-inputs]: Add ocaml-ppx-tools-versioned.
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2.
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.18.
* gnu/packages/patches/ocaml-qcheck-fix-test-whitespace.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
|
|
|
|
|
|
|
|
| |
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Update to 0.14.2.
[origin]: Remove patch.
* gnu/packages/patches/ocaml-ppx-variants-ppxlib-api-change.patch:
Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
|