zimoun
1221eb5f45
gnu: Add ocaml-lambda-term.
...
* gnu/packages/ocaml.scm (ocaml-lambda-term): New variable.
(omca4.07-lambda-term): Inherit and adjust.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:53 +01:00
zimoun
db542938e2
gnu: Add ocaml-zed.
...
* gnu/packages/ocaml.scm (ocaml-zed): New variable.
(ocaml4.07-zed): Inherit and adjust source.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:52 +01:00
zimoun
f73a39e0da
gnu: ocaml-charinfo-width: Fix source to get 'LICENSE' file.
...
* gnu/packages/ocaml.scm (ocaml-charinfo-width): Replace 'url-fetch' by
'git-fetch' and update to unreleased commit.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:51 +01:00
zimoun
ec861f6964
gnu: Add ocaml-mew-vi.
...
* gnu/packages/ocaml.scm (ocaml-mew-vi): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:50 +01:00
zimoun
ddea301236
gnu: Add ocaml-mew.
...
* gnu/packages/ocaml.scm (ocaml-mew): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:44 +01:00
zimoun
b2a725c679
gnu: Add ocaml-trie.
...
* gnu/packages/ocaml.scm (ocaml-trie): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:39 +01:00
Josselin Poiret
d48b404cf5
gnu: system: Make old-style swap use default flags.
...
* gnu/services/base.scm (swap-service-type): Use default flags (0) if
SWAP is not a new-style <swap-space> record.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2021-11-23 19:02:34 +01:00
Foo Chuan Wei
8452c5d1f4
gnu: sbcl-terminal-size: Fix formatting of description.
...
* gnu/packages/lisp-xyz.scm (sbcl-terminal-size)[description]:
Fix formatting of description.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-23 14:22:43 +01:00
Nicolas Goaziou
fddd5f6242
gnu: emacs-shackle: Update to 1.0.4.
...
* gnu/packages/emacs-xyz.scm (emacs-shackle): Update to 1.0.4.
2021-11-23 13:48:50 +01:00
jgart via Guix-patches via
eb82a95fc4
gnu: Add python-orgparse.
...
* gnu/packages/python-xyz.scm (python-orgparse): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-23 10:35:30 +01:00
Morgan Smith
8be21b1b31
gnu: emacs-org-recent-headings: Update to 0.1-0.97418d5.
...
* gnu/packages/emacs-xyz.scm (emacs-org-recent-headings): Update to 0.1-0.97418d5.
[propagated-inputs]: Add emacs-s and emacs-helm.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-23 10:32:56 +01:00
Brian Kubisiak
910bb1a71b
gnu: Add emacs-bazel.
...
* gnu/packages/emacs-xyz (emacs-bazel): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-23 10:30:12 +01:00
Josselin Poiret
9685c0637d
doc: Add new Swap Space section.
...
* doc/guix.texi (operating-system Reference): Update swap-devices.
* doc/guix.texi (Swap Space): Add it.
* gnu/system/examples/desktop.tmpl: Add swap-devices example.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:28 +01:00
Josselin Poiret
4af3262d98
system: Filter out boot dependencies from swap-space.
...
* gnu/systems.scm (swap-services): Filter them.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:27 +01:00
Josselin Poiret
0831dfab75
system: Add swap flags.
...
* gnu/system/file-systems.scm (swap-space)[priority, discard?]: Add
them.
* guix/build/syscalls.scm (SWAP_FLAG_PREFER, SWAP_FLAG_PRIO_MASK,
SWAP_FLAG_PRIO_SHIFT, SWAP_FLAG_DISCARD): Add them.
* gnu/build/file-systems.scm (swap-space->flags-bit-mask): Add it.
* gnu/services/base.scm (swap-service-type): Use it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:27 +01:00
Josselin Poiret
f574dbd163
system: Warn about swap-devices format change
...
* gnu/system.scm (warn-swap-devices-change,
%warn-swap-devices-change): Add them.
* gnu/system.scm (operating-system) [swap-devices]: Use it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:27 +01:00
Josselin Poiret
133a61ae26
system: Rework swap space support, add dependencies.
...
* gnu/system/file-systems.scm (swap-space): Add it.
* gnu/system.scm (operating-system)[swap-devices]: Update comment.
* gnu/services/base.scm (swap-space->shepherd-service-name,
swap-deprecated->shepherd-service-name, swap->shepherd-service-name):
Add them.
* gnu/services/base.scm (swap-service-type, swap-service): Use the new
records.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:27 +01:00
Robby Zambito
ec724d1628
gnu: pipe-viewer: Update to 0.1.7.
...
* gnu/packages/video.scm (pipe-viewer): Update to 0.1.7.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:27 +01:00
Brendan Tildesley
69be242750
gnu: piper: Update to 0.6.
...
* gnu/packages/gnome.scm (piper): Update to 0.6.
[inputs]: Add libratbag.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Brendan Tildesley
b6e3929205
gnu: libratbag: Update to 0.16.
...
* gnu/packages/gnome.scm (libratbag): Update to 0.16.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Stephen Paul Weber
571e9b293d
gnu: Add qtile.
...
* gnu/packages/wm.scm (qtile): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Stephen Paul Weber
5e21fc56ed
gnu: Add python-iwlib.
...
* gnu/packages/python-xyz.scm (python-iwlib): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Stephen Paul Weber
135161ded9
gnu: Add python-dbus-next.
...
* gnu/packages/python-xyz.scm (python-debus-next): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Stephen Paul Weber
54223d262c
gnu: python-xcffib: Upgrade to 0.11.1.
...
Required for qtile.
* gnu/packages/python-xyz.scm (python-xcffib): Upgrade to 0.11.1.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
Simon South
82930f6fc0
gnu: Add stcgal.
...
* gnu/packages/embedded.scm (stcgal): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:26 +01:00
jgart
3091ca3ee3
gnu: Add python-tinydb.
...
* gnu/packages/databases.scm (python-tinydb): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-23 10:24:25 +01:00
Nicolas Goaziou
47886391c5
gnu: emacs-fullframe: Update to 0.5.1.
...
* gnu/packages/emacs-xyz.scm (emacs-fullframe): Update to 0.5.1.
[source]: Update URI.
[home-page]: Update home-page accordingly.
2021-11-23 10:21:41 +01:00
Nicolas Goaziou
e469eee10e
gnu: wireshark: Update to 3.6.0.
...
* gnu/packages/networking.scm (wireshark): Update to 3.6.0.
2021-11-23 10:18:02 +01:00
Felix Gruber
da54ccdeb2
gnu: oil: Update to 0.9.4.
...
* gnu/packages/shells.scm (oil): Update to 0.9.4.
Signed-off-by: Timothy Sample <samplet@ngyro.com>
2021-11-22 22:35:27 -05:00
Christopher Baines
21d390bf64
gnu: guix-build-coordinator: Update to 0-39.c9c55c0.
...
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-39.c9c55c0.
2021-11-22 23:21:07 +00:00
Ricardo Wurmus
7239ad676c
gnu: nss-pam-ldapd: Update to 0.9.12.
...
* gnu/packages/openldap.scm (nss-pam-ldapd): Update to 0.9.12.
[arguments]: Remove trailing #T.
2021-11-22 23:40:20 +01:00
Jorge Gomez
10fad03fcf
gnu: Move visidata to (gnu packages spreadsheet).
...
See <http://issues.guix.gnu.org/47852 >.
* gnu/packages/visidata.scm (visidata): Move from here…
* gnu/packages/spreadsheet.scm (visidata): …to here.
* gnu/local.mk (GNU_SYSTEM_MODULES): Adjust accordingly.
Signed-off-by: Leo Famulari <leo@famulari.name>
2021-11-22 16:16:28 -05:00
Jorge Gomez
c4bc557c3a
gnu: Add sc-im.
...
* gnu/packages/spreadsheet.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Leo Famulari <leo@famulari.name>
2021-11-22 16:16:25 -05:00
Taiju HIGASHI
bb3fbb4d9d
gnu: Add emacs-ddskk-nicola.
...
* gnu/packages/emacs-xyz.scm (emacs-ddskk-nicola): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-22 21:32:22 +01:00
Liliana Marie Prikler
8cae6dbc88
gnu: statistics: Delete trailing whitespace.
...
* gnu/packages/statistics.scm: Delete trailing whitespace.
2021-11-22 21:24:10 +01:00
Frank Pursel
882dad5085
gnu: Add xlispstat.
...
* gnu/packages/statistics.scm (xlispstat): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-22 21:24:09 +01:00
jgart
6ac283bad7
gnu: Add cl-cmn.
...
* gnu/packages/lisp-xyz.scm (cl-cmn, sbcl-cmn, ecl-cmn): New variables.
Co-authored-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 20:42:15 +01:00
zimoun
cb296dfa2e
gnu: proof-general: Adjust autoloads for Emacs.
...
Fixes <https://bugs.gnu.org/46016 >.
* gnu/packages/coq.scm (proof-general)[native-inputs]: Remove 'which'.
[inputs]: Remove 'coq' and 'emacs'.
[arguments]<#:make-flags>: Adjust to find 'emacs'.
Set 'ELISP' and 'DEST_LISP'.
<#:modules, #:imported-modules>: Remove.
<#:phases>: Remove call to 'which' in Makefile.
Add copy file allowing Emacs autoloads.
Clean unnecessary code.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-22 19:21:17 +01:00
pinoaffe
3d2e41adf2
gnu: emacs-ryo-modal: Update to 0.45.
...
* gnu/packages/emacs-xyz.scm (emacs-ryo-modal): Update to 0.45.
Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
2021-11-22 17:29:42 +01:00
Leo Famulari
4df826f340
gnu: linux-libre 5.4: Update to 5.4.161.
...
* gnu/packages/linux.scm (linux-libre-5.4-version): Update to 5.4.161.
(linux-libre-5.4-pristine-source): Update hash.
2021-11-22 10:43:00 -05:00
Leo Famulari
5bff28e089
gnu: linux-libre 5.10: Update to 5.10.81.
...
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.81.
(linux-libre-5.10-pristine-source): Update hash.
2021-11-22 10:43:00 -05:00
Leo Famulari
36e2d993da
gnu: linux-libre: Update to 5.14.21.
...
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.21.
(linux-libre-5.14-pristine-source): Update hash.
2021-11-22 10:42:57 -05:00
Andreas Enge
e1dce8faf0
gnu: arb: Update to 2.21.1.
...
* gnu/packages/algebra.scm (arb): Update to 2.21.1.
2021-11-22 13:27:50 +01:00
Andreas Enge
7f4b31578d
gnu: flint: Update to 2.8.4.
...
* gnu/packages/algebra.scm (flint): Update to 2.8.4.
2021-11-22 13:27:50 +01:00
Andreas Enge
1d7e603a77
gnu: pari-gp: Update to 2.13.3.
...
* gnu/packages/algebra.scm (pari-gp): Update to 2.13.3.
2021-11-22 13:27:50 +01:00
Nicolas Goaziou
e5ac7670b1
gnu: emacs-form-feed: Update to 0.2.3.
...
* gnu/packages/emacs-xyz.scm (emacs-form-feed): Update to 0.2.3.
2021-11-22 11:50:54 +01:00
Charles
abd856b505
gnu: cl-portal: Update to 1.2.
...
* gnu/packages/lisp-xyz.scm (sbcl-portal): Update to 1.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 11:47:39 +01:00
Charles
e26a149e22
gnu: cl-yxorp: Update to 0.2.
...
* gnu/packages/lisp-xyz.scm (sbcl-yxorp): Update to 0.2.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-22 11:47:38 +01:00
Nicolas Goaziou
616216b0ad
gnu: emacs-eldev: Update to 0.10.1.
...
* gnu/packages/emacs-xyz.scm (emacs-eldev): Update to 0.10.1.
2021-11-22 11:43:08 +01:00
Nicolas Goaziou
3edadb4219
gnu: emacs-evil-multiedit: Update to 1.4.3.
...
* gnu/packages/emacs-xyz.scm (emacs-evil-multiedit): Update to 1.4.3.
2021-11-22 11:37:49 +01:00
Zzull
586a1ef971
gnu: Add lz4json.
...
* gnu/packages/gnuzilla.scm (lz4json): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-22 11:21:30 +01:00
Olivier Dion
9d370029c2
gnu: lttng-tools: Update to 2.13.1.
...
* gnu/packages/linux.scm (lttng-tools): Bump version.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 21:32:22 -05:00
Olivier Dion
ea48a87f1f
gnu: lttng-ust: Update to 2.13.0.
...
* gnu/packages/linux.scm (lttng-ust): Bump version.
[native-inputs]: Add pkg-config.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 21:32:19 -05:00
Olivier Dion
82f8ac4c29
gnu: Add babeltrace.
...
* gnu/packages/linux.scm (babeltrace): New variable.
Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
2021-11-21 20:46:59 -05:00
Vinicius Monego
b2d8174400
gnu: Add qxmpp.
...
* gnu/packages/messaging.scm (qxmpp): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:54:10 +01:00
jgart via Guix-patches via
97a8d0edda
gnu: Add devour.
...
* gnu/packages/wm.scm (devour): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:43:39 +01:00
Milkey Mouse
9092b38651
gnu: Add libplacebo.
...
* gnu/packages/video.scm (libplacebo): New variable.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:35:05 +01:00
Felix Gruber
16dda28fd7
gnu: sameboy: Update to 0.14.7.
...
* gnu/packages/emulators.scm (sameboy): Update to 0.14.7.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2021-11-21 21:31:19 +01:00
Christopher Baines
80efc5d005
gnu: guix-build-coordinator: Update to 0-38.d46e9ac.
...
* gnu/packages/package-management.scm (guix-build-coordinator): Update to
0-38.d46e9ac.
2021-11-21 18:56:31 +00:00
Julien Lepiller
8b140f393e
gnu: ocaml-merlin-reader: Update to 4.3.1-411.
...
* gnu/packages/ocaml.scm (ocaml-merlin-reader): Update to 4.3.1-411.
2021-11-21 19:49:36 +01:00
Nicolas Goaziou
b1c2ad312d
gnu: emacs-citar: Update to 0.9.
...
* gnu/packages/emacs-xyz.scm (emacs-citar): Update to 0.9.
2021-11-21 19:30:05 +01:00
Julien Lepiller
63d8c7a82f
gnu: coq-stdpp: Update to 1.6.0.
...
* gnu/packages/coq.scm (coq-stdpp): Update to 1.6.0.
2021-11-21 19:27:13 +01:00
Julien Lepiller
07fc7046d2
gnu: coq-interval: Update to 4.3.1.
...
* gnu/packages/coq.scm (coq-interval): Update to 4.3.1.
2021-11-21 19:27:10 +01:00
Julien Lepiller
5bcf0101b2
gnu: coq-coquelicot: Update to 3.2.0.
...
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.2.0.
2021-11-21 19:27:05 +01:00
Julien Lepiller
698e5c38b4
gnu: coq-mathcomp: Update to 1.13.0.
...
* gnu/packages/coq.scm (coq-mathcomp): Update to 1.13.0.
2021-11-21 19:27:02 +01:00
Julien Lepiller
67fbcd437c
gnu: coq-gappa: Update to 1.5.0.
...
* gnu/packages/coq.scm (coq-gappa): Update to 1.5.0.
2021-11-21 19:26:57 +01:00
Julien Lepiller
45bc66dbe9
gnu: coq-flocq: Update to 3.4.2.
...
* gnu/packages/coq.scm (coq-flocq): Update to 3.4.2.
2021-11-21 19:26:26 +01:00
Julien Lepiller
29e9dc49cc
gnu: camlboot: Increase max-silent-time.
...
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
2021-11-21 16:20:57 +01:00
Liliana Marie Prikler
f0a30bf8aa
gnu: ibus-theme-tools: Do not delete check phase.
...
* gnu/packages/ibus.scm (ibus-theme-tools)[#:tests?]: Add with value #f and
an appropriate comment.
[#:phases]: Drop.
2021-11-21 15:17:32 +01:00
Songlin Jiang
6972c4f212
gnu: Add ibus-theme-tools.
...
* gnu/packages/ibus.scm (ibus-theme-tools): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-21 15:10:39 +01:00
Songlin Jiang
7cc2f02281
gnu: Add gnome-shell-extension-customize-ibus.
...
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-customize-ibus): New
variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-21 15:08:54 +01:00
Jaft
9bfbba8af5
gnu: Add gsimplecal.
...
* gnu/packages/calendar.scm (gsimplecal): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-21 09:43:23 +01:00
Julien Lepiller
348f1f7cb5
gnu: camlboot: Update to latest commit.
...
* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
2021-11-21 04:14:49 +01:00
Julien Lepiller
0846e7d326
gnu: Add ocaml-charinfo-width.
...
* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
2021-11-20 19:39:57 +01:00
Julien Lepiller
f9bf7de5b4
gnu: Add ocaml-gsl.
...
* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
2021-11-20 19:39:54 +01:00
Julien Lepiller
0481810ebf
gnu: Add ocaml-fftw3.
...
* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
2021-11-20 19:39:52 +01:00
Julien Lepiller
e9d3f3656b
gnu: Add ocaml-lacaml.
...
* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this. Use latest ocaml package.
2021-11-20 19:39:25 +01:00
Leo Famulari
40239e23e8
gnu: linux-libre 5.10: Update to 5.10.80.
...
* gnu/packages/linux.scm (linux-libre-5.10-version): Update to 5.10.80.
(linux-libre-5.10-pristine-source): Update hash.
2021-11-20 13:15:11 -05:00
Leo Famulari
d2f5bc7da8
gnu: linux-libre: Update to 5.14.20.
...
* gnu/packages/linux.scm (linux-libre-5.14-version): Update to 5.14.20.
(linux-libre-5.14-pristine-source): Update hash.
2021-11-20 13:15:07 -05:00
Julien Lepiller
0a4656f1c1
gnu: ocaml-version: Update to 3.4.0.
...
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
2021-11-20 17:09:03 +01:00
Julien Lepiller
4378eb9a15
gnu: ocaml-tyxml: Update to 4.5.0.
...
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
2021-11-20 17:08:55 +01:00
Julien Lepiller
c2242284ab
gnu: ocaml-topkg: Update to 1.0.4.
...
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
2021-11-20 17:08:50 +01:00
Julien Lepiller
972c6fe87b
gnu: ocaml-stdlib-shims: Update to 0.3.0.
...
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
2021-11-20 17:08:47 +01:00
Julien Lepiller
5a3fcf0cac
gnu: ocaml-sedlex: Update to 2.4.
...
* 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.
2021-11-20 17:08:37 +01:00
Julien Lepiller
40f7eb975b
gnu: ocaml-qtest: Update to 2.11.2.
...
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2.
2021-11-20 17:08:33 +01:00
Julien Lepiller
b0e76b0828
gnu: ocaml-qcheck: Update to 0.18.
...
* 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.
2021-11-20 17:08:06 +01:00
Julien Lepiller
0df82727a6
gnu: ocaml-ppx-variants-conv: Update to 0.14.2.
...
* 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.
2021-11-20 17:07:50 +01:00
Julien Lepiller
97fd67edea
gnu: ocaml-ppx-js-style: Update to 0.14.1.
...
* gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.14.1.
2021-11-20 17:07:44 +01:00
Julien Lepiller
95e6a977fa
gnu: ocaml-odoc: Update to 2.0.0.
...
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 2.0.0.
[inputs, native-inputs]: Adjust inputs.
(ocaml4.07-odoc)[inputs, native-inputs]: Keep previous inputs.
2021-11-20 17:07:24 +01:00
Julien Lepiller
1277bd9fc0
gnu: ocaml-ocplib-endian: Update to 1.2.
...
* gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2.
2021-11-20 17:07:14 +01:00
Julien Lepiller
e46621ca6c
gnu: ocaml-mtime: Update to 1.3.0.
...
* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0.
2021-11-20 17:07:10 +01:00
Julien Lepiller
63e5e127cb
gnu: ocaml-mdx: Remove unneeded dependency.
...
* gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove
ocaml-migrate-parsetree.
2021-11-20 17:06:59 +01:00
Julien Lepiller
e7bf93e5cc
gnu: ocaml-integers: Update to 0.5.1.
2021-11-20 17:06:50 +01:00
Julien Lepiller
426faa76d1
gnu: ocaml-fmt: Update to 0.9.0.
...
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.9.0.
(ocaml4.07-fmt): New variable.
2021-11-20 17:06:30 +01:00
Ricardo Wurmus
c618f4a9cc
gnu: pigx-bsseq: Update to 0.1.6.
...
* gnu/packages/bioinformatics.scm (pigx-bsseq): Update to 0.1.6.
2021-11-20 16:31:32 +01:00
Foo Chuan Wei
5b96e96510
gnu: Add cl-flute.
...
* gnu/packages/lisp-xyz.scm (cl-flute, ecl-flute, sbcl-flute):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-20 14:55:16 +01:00
Foo Chuan Wei
118382b2a4
gnu: Add cl-let-over-lambda.
...
* gnu/packages/lisp-xyz.scm (cl-let-over-lambda, ecl-let-over-lambda,
sbcl-let-over-lambda): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-20 14:51:09 +01:00
Foo Chuan Wei
740854ff06
gnu: Add cl-assoc-utils.
...
* gnu/packages/lisp-xyz.scm (cl-assoc-utils, ecl-assoc-utils,
sbcl-assoc-utils): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-11-20 14:44:58 +01:00
Ekaitz Zarraga
60bb03605a
gnu: Add libresprite.
...
* gnu/packages/game-development.scm (libresprite): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-20 12:16:11 +01:00
Foo Chuan Wei
b7a515c510
gnu: Add litecli.
...
* gnu/packages/databases.scm (litecli): New variable.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2021-11-20 11:41:22 +01:00