fa4bbd9f34
gnu: Add trivial-macroexpand-all.
...
* gnu/packages/lisp.scm (cl-trivial-macroexpand-all,
ecl-trivial-macroexpand-all, sbcl-trivial-macroexpand-all): New variables.
2019-10-07 13:50:07 +02:00
c6dd9cf7ff
gnu: Add trivial-file-size.
...
* gnu/packages/lisp.scm (cl-trivial-file-size, ecl-trivial-file-size,
sbcl-trivial-file-size): New variables.
2019-10-07 13:49:42 +02:00
003a714e7e
gnu: Add global-vars.
...
* gnu/packages/lisp.scm (cl-global-vars, ecl-global-vars, sbcl-global-vars):
New variables.
2019-10-07 13:49:28 +02:00
3658db3fd7
gnu: Add string-case.
...
* gnu/packages/lisp.scm (cl-string-case, ecl-string-case, sbcl-string-case):
New variables.
2019-10-07 13:48:23 +02:00
6fdb5b7947
gnu: Add cl-fare-quasiquote-extras.
...
* gnu/packages/lisp.scm (cl-fare-quasiquote-extras): New variable.
2019-10-07 13:48:00 +02:00
7b9cb9c01c
gnu: Add cl-fare-quasiquote-readtable.
...
* gnu/packages/lisp.scm (cl-fare-quasiquote-readtable): New variable.
2019-10-07 13:47:46 +02:00
06e2da719e
gnu: Add fare-quasiquote-optima.
...
* gnu/packages/lisp.scm (cl-fare-quasiquote-optima,
sbcl-fare-quasiquote-optima): New variables.
2019-10-07 13:46:55 +02:00
7baaf7f358
gnu: Add cl-fare-quasiquote.
...
* gnu/packages/lisp.scm (cl-fare-quasiquote): New variable.
2019-10-07 13:46:36 +02:00
85747bab82
gnu: sbcl-optima: Fix version number
...
* gnu/packages/lisp.scm (sbcl-optima)[version]: It's actually 1.0.
2019-10-07 13:45:53 +02:00
7d82e92071
gnu: linux-libre: Update to 5.3.4.
...
* gnu/packages/linux (linux-libre-5.3-version): Update to 5.3.4.
(deblob-scripts-5.3): Update to 5.3.4.
2019-10-07 01:55:46 -07:00
048d21a873
gnu: icedtea-7: Avoid massive rebuild.
...
Reported by Efraim Flashner.
* gnu/packages/java.scm (icedtea-7)[arguments]: Change 'lib-path'
definition in 'install-libjvm' to avoid the rebuilds that commit
1b6f99ea53
2019-10-07 10:44:10 +02:00
7b6a8e23b0
gnu: aria2: Update to 1.35.0.
...
* gnu/packages/bittorrent.scm (aria2): Update to 1.35.0.
[source]: Use new upstream uri. Remove patch.
* gnu/packages/patches/aria2-CVE-2019-3500.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2019-10-07 11:37:21 +03:00
d3e22bcc11
gnu: icedtea-7: Support non-Intel systems.
...
This is a followup to 1b6f99ea53
2019-10-07 09:52:31 +02:00
4261a9d162
gnu: emacs-mbsync: Update to 0.1.2-4.b62491c.
...
* gnu/packages/emacs-xyz.scm (emacs-mbsync): Update to 0.1.2-4.b62491c.
2019-10-07 10:24:36 +03:00
4f2a3fbe88
gnu: emacs-evil-nerd-commenter: Update to 3.3.8.
...
* gnu/packages/emacs-xyz.scm (emacs-evil-nerd-commenter): Update to 3.3.8.
2019-10-07 08:20:50 +02:00
3f68853557
gnu: emacs-evil-traces: Update to 0.0.1-2.1931e3e.
...
* gnu/packages/emacs-xyz.scm (emacs-evil-traces): Update to 0.0.1-2.1931e3e.
2019-10-07 05:15:55 +02:00
47467ce75a
gnu: Add emacs-peg.
...
* gnu/packages/emacs-xyz.scm (emacs-peg): New variable.
2019-10-07 04:34:59 +02:00
b44271350b
gnu: emacs-deadgrep: Update to 0.8-2.3fc7ca1.
...
* gnu/packages/emacs-xyz.scm (emacs-deadgrep): Update to 0.8-2.3fc7ca1.
2019-10-07 01:43:37 +02:00
326746e14c
gnu: r-variancepartition: Update to 1.14.1.
...
* gnu/packages/bioconductor.scm (r-variancepartition): Update to 1.14.1.
[propagated-inputs]: Add r-biocparallel.
2019-10-06 23:08:47 +02:00
eb796f53ef
gnu: r-mixomics: Update to 6.8.5.
...
* gnu/packages/bioconductor.scm (r-mixomics): Update to 6.8.5.
2019-10-06 23:08:47 +02:00
1c2e573302
gnu: r-regioner: Update to 1.16.5.
...
* gnu/packages/bioconductor.scm (r-regioner): Update to 1.16.5.
2019-10-06 23:08:47 +02:00
07d0645b6b
gnu: r-backports: Update to 1.1.5.
...
* gnu/packages/statistics.scm (r-backports): Update to 1.1.5.
2019-10-06 23:08:47 +02:00
f817005bfe
gnu: r-gargle: Update to 0.4.0.
...
* gnu/packages/cran.scm (r-gargle): Update to 0.4.0.
2019-10-06 23:08:47 +02:00
9b112f4030
gnu: r-rcppparallel: Update to 4.4.4.
...
* gnu/packages/cran.scm (r-rcppparallel): Update to 4.4.4.
2019-10-06 23:08:47 +02:00
770321180f
gnu: r-hdf5r: Update to 1.3.0.
...
* gnu/packages/cran.scm (r-hdf5r): Update to 1.3.0.
2019-10-06 23:08:47 +02:00
2e6ccd6c2d
gnu: r-promises: Update to 1.1.0.
...
* gnu/packages/cran.scm (r-promises): Update to 1.1.0.
2019-10-06 23:08:47 +02:00
ab99236eba
gnu: r-later: Update to 1.0.0.
...
* gnu/packages/cran.scm (r-later): Update to 1.0.0.
2019-10-06 23:08:47 +02:00
b7e7c320a2
gnu: r-maptools: Update to 0.9-8.
...
* gnu/packages/cran.scm (r-maptools): Update to 0.9-8.
2019-10-06 23:08:47 +02:00
ff74344597
gnu: r-htmlwidgets: Update to 1.5.
...
* gnu/packages/cran.scm (r-htmlwidgets): Update to 1.5.
2019-10-06 23:08:47 +02:00
82acc94fbf
gnu: r-htmltools: Update to 0.4.0.
...
* gnu/packages/cran.scm (r-htmltools): Update to 0.4.0.
[arguments]: Remove field.
[propagated-inputs]: Add r-rlang.
2019-10-06 23:08:47 +02:00
33651044c6
gnu: r-seurat: Update to 3.1.1.
...
* gnu/packages/bioinformatics.scm (r-seurat): Update to 3.1.1.
[propagated-inputs]: Add r-httr.
2019-10-06 23:08:47 +02:00
94638cbe77
gnu: r-rsamtools: Update to 2.0.2.
...
* gnu/packages/bioinformatics.scm (r-rsamtools): Update to 2.0.2.
2019-10-06 23:08:47 +02:00
122c1b3ce7
gnu: r-biomart: Update to 2.40.5.
...
* gnu/packages/bioinformatics.scm (r-biomart): Update to 2.40.5.
2019-10-06 23:08:46 +02:00
d050fdf4c6
gnu: emacs-helm-ag: Fix version.
...
* gnu/packages/emacs-xyz.scm (emacs-helm-ag): Fix version.
2019-10-06 22:08:27 +02:00
cb2197508a
gnu: Add emacs-helm-org.
...
* gnu/packages/emacs-xyz.scm (emacs-helm-org): New variable.
2019-10-06 22:08:27 +02:00
45d04b2a7d
gnu: emacs-helm: Update to 3.5.0.
...
* gnu/packages/emacs-xyz.scm (emacs-helm): Update to 3.5.0.
2019-10-06 22:08:27 +02:00
4722330d68
gnu: nss-pam-ldapd: Update to 0.9.11.
...
* gnu/packages/openldap.scm (nss-pam-ldapd): Update to 0.9.11.
[inputs]: Replace python-2 with python.
2019-10-06 22:07:07 +02:00
e08902d3cb
Merge branch 'master' into core-updates
2019-10-06 22:02:20 +02:00
f58702465d
gnu: Add mloop.
...
* gnu/packages/music.scm (mloop): New variable.
2019-10-06 22:01:01 +02:00
4b94e63db6
gnu: guile-studio: Update to 0-2.4d63f3d.
...
* gnu/packages/guile-xyz.scm (guile-studio): Update to 0-2.4d63f3d.
2019-10-06 22:01:01 +02:00
1b6f99ea53
gnu: icedtea-7: Fix build on i686-linux.
...
* gnu/packages/java.scm (icedtea-7)[arguments]: Use "i386" lib directory when
the system is "i686-linux".
2019-10-06 22:01:01 +02:00
fc37b4afb2
gnu: jamvm-1-bootstrap: Fix segfault in bootstrap JVM.
...
* gnu/packages/java.scm (jamvm-1-bootstrap)[arguments]: Add configure flags:
--disable-int-caching, --enable-runtime-reloc-checks, and --enable-ffi.
[inputs]: Add libffi.
2019-10-06 22:01:01 +02:00
ff810d21a5
gnu: emacs-hackernews: Update to 0.5.0-2.2362d7b.
...
* gnu/packages/emacs-xyz.scm (emacs-hackernews): Update to 0.5.0-2.2362d7b.
2019-10-06 20:40:23 +02:00
9049f28f57
gnu: emacs-undo-propose-el: Update to 3.0.0-3.f80baee.
...
* gnu/packages/emacs-xyz.scm (emacs-undo-propose-el): Update to 3.0.0-3.f80baee.
2019-10-06 20:18:39 +02:00
1017ba7dd5
gnu: emacs-evil-mc: Update to 0.0.3-2.1cabb86.
...
* gnu/packages/emacs-xyz.scm (emacs-evil-mc): Update to 0.0.3-2.1cabb86.
2019-10-06 19:59:05 +02:00
cec23736d3
gnu: Add cl-goject-introspection.
...
* gnu/packages/lisp.scm (cl-goject-introspection,
sbcl-cl-gobject-introspection): New variables.
2019-10-06 19:34:13 +02:00
1714edc3d4
gnu: WebKitGTK: Embed absolute file name of libWPEBackend-fdo-1.0.so.
...
Fixes <https://bugs.gnu.org/37545 >.
Reported by Vagrant Cascadian <vagrant@debian.org>.
* gnu/packages/webkit.scm (webkitgtk)[arguments]: Add phase.
2019-10-06 18:02:48 +02:00
c5ceec4150
gnu: linux-libre: Remove glibc from CPATH before the build.
...
Fixes <https://bugs.gnu.org/37593 >.
* gnu/packages/linux.scm (make-linux-libre*)[arguments]: Drop "libc" from CPATH.
2019-10-06 18:02:48 +02:00
dd69897113
gnu: linux-libre: Try to aggressively gather entropy during boot.
...
Fixes <https://bugs.gnu.org/37501 >.
* gnu/packages/patches/linux-libre-active-entropy.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/linux.scm (linux-libre-5.2-source): Use it.
2019-10-06 18:02:48 +02:00
5157edd885
gnu: perf: Treat kernel headers as system headers.
...
* gnu/packages/linux.scm (perf)[arguments]: Instead of disabling -Werror,
set C_INCLUDE_PATH.
2019-10-06 18:02:48 +02:00
63b0ce391f
services: shepherd: Compile service files.
...
This reduces resident memory for PID 1 from 29.8MiB to 28.7MiB right
after boot on a bare-bones system (x86_64-linux).
* gnu/services/shepherd.scm (scm->go): New procedure.
(shepherd-configuration-file)[config]: Call it and use 'load-compiled'
instead of 'primitive-load'.
2019-10-06 14:45:35 +02:00
38b1ea0434
services: udev: Explicitly depend on (gnu build linux-boot).
...
* gnu/services/base.scm (udev-shepherd-service): Wrap 'start' method in
'with-imported-modules'.
2019-10-06 14:45:35 +02:00
62c2217570
services: agetty: Explicitly depend on (gnu build linux-boot).
...
* gnu/services/base.scm (default-serial-port): Wrap in
'with-imported-modules'.
2019-10-06 14:45:35 +02:00
1994422752
system: Add 'mount' and 'umount' to '%setuid-programs'.
...
Fixes <https://bugs.gnu.org/37569 >.
Reported by Diego Nicola Barbato <dnbarbato@posteo.de>.
* gnu/system.scm (%setuid-programs): Add "mount" and "umount" from
util-linux.
2019-10-06 14:45:35 +02:00
5a65fede0b
gnu: Add cl-random-forest.
...
* gnu/packages/machine-learning.scm (sbcl-cl-random-forest, cl-random-forest,
ecl-cl-random-forest): New variables.
2019-10-06 14:37:54 +02:00
7a15aab836
gnu: Add cl-online-learning.
...
* gnu/packages/machine-learning.scm (sbcl-cl-online-learning,
cl-online-learning, ecl-cl-online-learning): New variables.
2019-10-06 14:28:55 +02:00
6e76087223
gnu: Add cl-libsvm-format.
...
* gnu/packages/machine-learning.scm (sbcl-cl-libsvm-format, cl-libsvm-format,
ecl-cl-libsvm-format): New variables.
2019-10-06 14:28:55 +02:00
2601da0523
gnu: Add cl-store.
...
* gnu/packages/lisp.scm (sbcl-cl-store, cl-store, ecl-cl-store): New
variables.
2019-10-06 14:28:51 +02:00
7273b3b2a6
gnu: sbcl-hu.dwim.asdf: Update to 20190521.
...
* gnu/packages/lisp.scm (sbcl-hu.dwim.asdf): Update to 20190521.
[uri]: Fetch more recent version from Quicklisp.
2019-10-06 14:19:03 +02:00
f65f713846
gnu: sbcl-alexandria: Update to 1.0.0.
...
* gnu/packages/lisp.scm (sbcl-alexandria): Update to 1.0.0.
[native-inputs]: Add rt.
2019-10-06 14:19:03 +02:00
fd0f8860ec
gnu: ecl: Do not compile the deprecated MIT-RT.
...
Compiling the rt bundled with ECL prevents the ecl-rt package from compiling
properly, as ECL thinks it has already been compiled.
* gnu/packages/lisp.scm (ecl)[arguments]: Add '--without-rt' to
'configure-flags'.
2019-10-06 14:19:03 +02:00
d3287fc157
gnu: Add chanl.
...
* gnu/packages/lisp.scm (sbcl-chanl, cl-chanl, ecl-chanl): New variables.
2019-10-06 14:19:03 +02:00
d24d980e8e
gnu: Remove rust-clippy.
...
This was added by accident in 14f3a7e373
2019-10-06 14:38:02 +03:00
aa64198492
gnu: endless-sky: Update to 0.9.10.
...
* gnu/packages/games.scm (endless-sky): Update to 0.9.10.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2019-10-06 11:58:02 +03:00
e7f6d13722
gnu: zabbix: Update to 4.2.7.
...
* gnu/packages/monitoring.scm: (zabbix) Update to 4.2.7.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2019-10-06 11:51:16 +03:00
1e8826bdd3
gnu: Update python-pastel to 0.1.1.
...
* gnu/packages/graphics.scm (python-pastel): Update to 0.1.1.
[arguments]: Add custom 'check phase.
[description]: Simplify description.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2019-10-06 11:46:21 +03:00
6792908d6d
gnu: waybar: Update to 0.8.0.
...
* gnu/packages/wm.scm (waybar): Update to 0.8.0.
2019-10-06 11:05:27 +03:00
5a54baf67c
gnu: r-data-table: Update to 1.12.4.
...
* gnu/packages/statistics.scm (r-data-table): Update to 1.12.4.
[inputs]: Add zlib.
2019-10-06 04:46:54 +02:00
011ec062f3
gnu: python-mnemonic: Update to 0.19.
...
* gnu/packages/finance.scm (python-mnemonic): Update to 0.19.
2019-10-06 04:46:54 +02:00
ef10cbb41f
gnu: r-gamlss-dist: Update to 5.1-5.
...
* gnu/packages/cran.scm (r-gamlss-dist): Update to 5.1-5.
2019-10-06 04:46:54 +02:00
ac5e205a3c
gnu: python-traitlets: Update to 4.3.3.
...
* gnu/packages/python-xyz.scm (python-traitlets): Update to 4.3.3.
2019-10-06 04:46:54 +02:00
44805ca503
gnu: r-pegas: Update to 0.12.
...
* gnu/packages/cran.scm (r-pegas): Update to 0.12.
2019-10-06 04:46:53 +02:00
12a66af6b0
gnu: rust-miniz-oxide: Update to 0.3.3.
...
* gnu/packages/crates-io.scm (rust-miniz-oxide): Update to 0.3.3.
2019-10-06 04:46:53 +02:00
79e3e6a5c0
gnu: rust-openssl-sys: Update to 0.9.50.
...
* gnu/packages/crates-io.scm (rust-openssl-sys): Update to 0.9.50.
2019-10-06 04:46:53 +02:00
11820827d0
gnu: r-polspline: Update to 1.1.16.
...
* gnu/packages/cran.scm (r-polspline): Update to 1.1.16.
2019-10-06 04:46:53 +02:00
d71bbfea54
gnu: perl-test-tcp: Update to 2.21.
...
* gnu/packages/web.scm (perl-test-tcp): Update to 2.21.
2019-10-06 04:46:53 +02:00
5d7e1c807d
gnu: perl-test-mockobject: Update to 1.20191002.
...
* gnu/packages/perl-check.scm (perl-test-mockobject): Update to 1.20191002.
2019-10-06 04:46:53 +02:00
5327fbb391
gnu: lua-luv: Update to 1.30.1-1.
...
* gnu/packages/lua.scm (lua-luv): Update to 1.30.1-1.
2019-10-06 04:46:53 +02:00
3acd85ac30
gnu: lua-libmpack: Update to 1.0.8.
...
* gnu/packages/serialization.scm (lua-libmpack): Update to 1.0.8.
2019-10-06 04:46:52 +02:00
d1b0e1fd6d
gnu: perl-html-form: Update to 6.05.
...
* gnu/packages/web.scm (perl-html-form): Update to 6.05.
2019-10-06 04:46:52 +02:00
1e9b956e41
gnu: quaternion: Update to 0.0.9.4c.
...
* gnu/packages/messaging.scm (quaternion): Update to 0.0.9.4c.
2019-10-06 04:46:52 +02:00
0395c53359
gnu: libqmatrixclient: Update to 0.5.2.
...
* gnu/packages/messaging.scm (libqmatrixclient): Update to 0.5.2.
2019-10-06 04:46:52 +02:00
9fde2268bc
gnu: lua-libmpack: Don't use unstable tarball.
...
* gnu/packages/serialization.scm (lua-libmpack)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-10-06 04:46:52 +02:00
d7885bbf07
gnu: libmpack: Don't use unstable tarball.
...
* gnu/packages/serialization.scm (libmpack)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
(lua-libmpack)[arguments]: Adjust ‘unpack-mpack-sources’ phase.
2019-10-06 04:46:52 +02:00
32faec65aa
gnu: emacs-org-tanglesync: Update to 0.6-2.d99181f.
...
* gnu/packages/emacs-xyz.scm (emacs-org-tanglesync): Update to 0.6-2.d99181f.
2019-10-05 23:22:13 +02:00
1e6e526e0c
gnu: ocaml-utop: Update to 2.4.2.
...
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.2.
2019-10-05 22:23:43 +02:00
9e560c185c
gnu: ocaml-qcheck: Update to 0.11.
...
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.11.
2019-10-05 22:23:42 +02:00
07c1a10ef6
gnu: axoloti-runtime: Don't use unstable tarball.
...
* gnu/packages/axoloti.scm (axoloti-runtime)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
(axoloti-patcher)[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-10-05 22:23:42 +02:00
81bc4533aa
services: urandom-seed: Credit the entropy added to the PRNG.
...
Partly fixes <https://bugs.gnu.org/37501 >.
Reported by Marius Bakke <mbakke@fastmail.com>.
* gnu/services/base.scm (urandom-seed-shepherd-service): In 'start'
method, add calls to 'add-to-entropy-count'.
2019-10-05 22:05:02 +02:00
d2fd037fd0
gnu: libxls: Update to 1.5.1.
...
* gnu/packages/statistics.scm (libxls): Update to 1.5.1.
2019-10-05 20:59:00 +02:00
992f2069d5
gnu: gmime: Update to 3.2.4.
...
* gnu/packages/mail.scm (gmime): Update to 3.2.4.
2019-10-05 20:59:00 +02:00
567b223d01
gnu: r-wgaim: Update to 2.0-1.
...
* gnu/packages/cran.scm (r-wgaim): Update to 2.0-1.
2019-10-05 20:00:51 +02:00
8c3fd490d5
gnu: nano: Update to 4.5.
...
* gnu/packages/nano.scm (nano): Update to 4.5.
2019-10-05 20:00:51 +02:00
ecfd74e5f7
gnu: emacs-eros: Update to 0.0.1-2.dd89102.
...
* gnu/packages/emacs-xyz.scm (emacs-eros): Update to 0.0.1-2.dd89102.
2019-10-05 19:11:23 +02:00
f561d7774c
gnu: emacs-handle: Update to 0.1-2.51c050b.
...
* gnu/packages/emacs-xyz.scm (emacs-handle): Update to 0.1-2.51c050b.
2019-10-05 19:11:19 +02:00
6760b26330
gnu: guix-data-service: Update to 0.0.1-3.8019d2e.
...
* gnu/packages/web.scm (guix-data-service): Update to 0.0.1-3.8019d2e.
2019-10-05 11:18:10 +01:00
c11caf2060
gnu: cryptsetup: Update to 2.2.1.
...
* gnu/packages/cryptsetup.scm (cryptsetup): Update to 2.2.1.
[arguments]: Add #:configure-flags.
[native-inputs]: Remove python & add pkg-config.
[inputs]: Add argon2 & json-c.
(cryptsetup-static): Disable new binaries. Keep using libgcrypt.
Disable blkid support.
[inputs]: Add json-c.
2019-10-05 11:59:50 +02:00
b5c84b8a37
gnu: cryptsetup-static: Don't build veritysetup.
...
* gnu/packages/cryptsetup.scm (cryptsetup-static)[arguments]: Pass
‘--disable-veritysetup’ #:configure-flag. Adjust ‘remove-cruft’ phase.
2019-10-05 11:59:49 +02:00
d5e445e1d5
gnu: cryptsetup: Don't use NAME in source URI.
...
* gnu/packages/cryptsetup.scm (cryptsetup)[source]: Hard-code NAME.
2019-10-05 11:59:49 +02:00
9dbda847af
gnu: screenfetch: Use the tagged release.
...
* gnu/packages/admin.scm (screenfetch): Use the new 3.9.0 release tag
instead of a (functionally identical) naked commit.
2019-10-05 11:59:49 +02:00
4d755996a7
gnu: python-pytest-checkdocs: Update to 1.2.2.
...
* gnu/packages/python-check.scm (python-pytest-checkdocs): Update to 1.2.2.
[propagated-inputs]: Add python-more-itertools.
2019-10-05 11:59:49 +02:00
0af697d940
gnu: python-importlib-metadata: Update to 0.23.
...
* gnu/packages/python-xyz.scm (python-importlib-metadata): Update to 0.23.
2019-10-05 11:59:49 +02:00
3dbc41c042
gnu: next: Update to 1.3.4.
...
* gnu/packages/web-browsers.scm (next-gtk-webkit): Update to 1.3.4.
2019-10-05 09:54:57 +02:00
3a69dd5c15
services: httpd: Fix virtual-host doc and config.
...
* doc/guix.texi (Web Services): Fix httpd-virtualhost examples.
* gnu/services/web.scm (httpd-process-extensions): Add missing newline
separator.
2019-10-04 17:10:58 +02:00
0c3cf62829
gnu: Add emacs-extempore-mode.
...
* gnu/packages/emacs-xyz.scm (emacs-extempore-mode): New variable.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2019-10-04 17:04:38 +02:00
4b3b5a06fc
gnu: rust-unindent: Update to 0.1.5.
...
* gnu/packages/crates-io.scm (rust-unindent): Update to 0.1.5.
2019-10-04 17:04:38 +02:00
59b83c5029
gnu: Add xfce4-weather-plugin.
...
* gnu/packages/xfce.scm (xfce4-weather-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:31:39 +02:00
5d0059e02e
gnu: Add xfce4-places-plugin.
...
* gnu/packages/xfce.scm (xfce4-places-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:31:30 +02:00
cd0826d60b
gnu: Add xfce4-equake-plugin.
...
* gnu/packages/xfce.scm (xfce4-equake-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:31:20 +02:00
dd249f1b8c
gnu: Add xfce4-mailwatch-plugin.
...
* gnu/packages/xfce.scm (xfce4-mailwatch-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:31:06 +02:00
de838a6338
gnu: Add xfce4-statusnotifier-plugin.
...
* gnu/packages/xfce.scm (xfce4-statusnotifier-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:58 +02:00
b05edff0b2
gnu: Add xfce4-stopwatch-plugin.
...
* gnu/packages/xfce.scm (xfce4-stopwatch-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:50 +02:00
d6056cc7fe
gnu: Add xfce4-netload-plugin.
...
* gnu/packages/xfce.scm (xfce4-netload-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:41 +02:00
e18bc5e011
gnu: Add xfce4-kbdleds-plugin.
...
* gnu/packages/xfce.scm (xfce4-kbdleds-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:32 +02:00
40f0181bf7
gnu: Add xfce4-genmon-plugin.
...
* gnu/packages/xfce.scm (xfce4-genmon-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:23 +02:00
3b04836ebb
gnu: Add xfce4-time-out-plugin.
...
* gnu/packages/xfce.scm (xfce4-time-out-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:14 +02:00
a004609a13
gnu: Add xfce4-mpc-plugin.
...
* gnu/packages/xfce.scm (xfce4-mpc-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:30:04 +02:00
2aee1fef0b
gnu: Add xfce4-fsguard-plugin.
...
* gnu/packages/xfce.scm (xfce4-fsguard-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:29:53 +02:00
fa6a9d9863
gnu: Add xfce4-diskperf-plugin.
...
* gnu/packages/xfce.scm (xfce4-diskperf-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:29:44 +02:00
18af33827b
gnu: Add xfce4-cpufreq-plugin.
...
* gnu/packages/xfce.scm (xfce4-cpufreq-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:29:34 +02:00
2f81e67850
gnu: Add xfce4-calculator-plugin.
...
* gnu/packages/xfce.scm (xfce4-calculator-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:28:48 +02:00
c8417d327a
gnu: Add xfce4-datetime-plugin.
...
* gnu/packages/xfce.scm (xfce4-datetime-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:28:32 +02:00
3372e5d1fc
gnu: Add xfce4-embed-plugin.
...
* gnu/packages/xfce.scm (xfce4-embed-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:28:17 +02:00
58253d9f5b
gnu: Add xfce4-eyes-plugin.
...
* gnu/packages/xfce.scm (xfce4-eyes-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:28:04 +02:00
7e53f357ac
gnu: Add xfce4-cpugraph-plugin.
...
* gnu/packages/xfce.scm (xfce4-cpugraph-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:27:52 +02:00
461790c919
gnu: Add xfce4-mount-plugin.
...
* gnu/packages/xfce.scm (xfce4-mount-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:27:41 +02:00
2ebc7316ce
gnu: Add xfce4-smartbookmark-plugin.
...
* gnu/packages/xfce.scm (xfce4-smartbookmark-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:27:29 +02:00
820a0869ea
gnu: Add xfce4-systemload-plugin.
...
* gnu/packages/xfce.scm (xfce4-systemload-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:27:13 +02:00
415e7e2046
gnu: Add xfce4-timer-plugin.
...
* gnu/packages/xfce.scm (xfce4-timer-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:27:01 +02:00
c6927c08bd
gnu: Add xfce4-verve-plugin.
...
* gnu/packages/xfce.scm (xfce4-verve-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:26:45 +02:00
f800291e08
gnu: Add xfce4-wavelan-plugin.
...
* gnu/packages/xfce.scm (xfce4-wavelan-plugin): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-04 14:26:32 +02:00
0c34b94943
gnu: vdirsyncer: Skip tests.
...
* gnu/packages/dav.scm (vdirsyncer)[arguments]: Disable tests.
Update custom 'check phase to only run the tests when enabled.
2019-10-04 12:21:45 +03:00
57ec0551c8
gnu: linux-libre@4.19: Update to 4.19.76.
...
* gnu/packages/linux.scm (linux-libre-4.19-version)
(linux-libre-4.19-pristine-source): Update to 4.19.76.
2019-10-04 10:21:24 +02:00
1bedc74e7f
gnu: linux-libre@5.2: Update to 5.2.18.
...
* gnu/packages/linux.scm (linux-libre-5.2-version)
(linux-libre-5.2-pristine-source): Update to 5.2.18.
2019-10-04 10:21:24 +02:00
dd32676b06
gnu: linux-libre@5.3: Update to 5.3.2.
...
* gnu/packages/linux.scm (linux-libre-5.3-version)
(linux-libre-5.3-pristine-source): Update to 5.3.2.
2019-10-04 10:21:24 +02:00
e8190ba9fb
gnu: perl-sub-quote: Update to 2.006006.
...
* gnu/packages/perl.scm (perl-sub-quote): Update to 2.006006.
2019-10-04 10:21:24 +02:00
85c7397509
gnu: perl-role-tiny: Update to 2.001001.
...
* gnu/packages/perl.scm (perl-role-tiny): Update to 2.001001.
2019-10-04 10:21:24 +02:00
5fb38c1dd9
gnu: perl-io-pager: Update to 0.44.
...
* gnu/packages/perl.scm (perl-io-pager): Update to 0.44.
2019-10-04 10:21:24 +02:00
aace6f6dba
gnu: mysql: Update to 5.7.27.
...
* gnu/packages/databases.scm (mysql): Update to 5.7.27.
[native-inputs]: Add pkg-config.
[inputs]: Add libtirpc, rpcsvc-proto.
2019-10-03 19:28:56 +03:00
9a68b89e8a
gnu: linux-libre: Update to 5.3.
...
* gnu/packages/linux.scm (linux-libre-version)
(linux-libre-pristine-source, linux-libre-source, linux-libre):
Assign -5.3 values.
2019-10-03 16:03:36 +02:00
7e09914117
gnu: r-xfun: Update to 0.10.
...
* gnu/packages/cran.scm (r-xfun): Update to 0.10.
2019-10-03 16:03:36 +02:00
5767547e73
gnu: rcas-web: Fix build with RCAS > 1.3.x.
...
* gnu/packages/bioinformatics.scm (rcas-web)[arguments]: Add ‘find-RCAS’ phase.
2019-10-03 16:03:36 +02:00
3757f5cbc1
gnu: r-rmarkdown: Use HTTPS home page.
...
* gnu/packages/statistics.scm (r-rmarkdown)[home-page]: Use HTTPS.
2019-10-03 16:03:35 +02:00
322f465751
gnu: r-rmarkdown: Update to 1.16.
...
* gnu/packages/statistics.scm (r-rmarkdown): Update to 1.16.
2019-10-03 16:03:35 +02:00
afbc3a8758
gnu: r-glasso: Update to 1.11.
...
* gnu/packages/cran.scm (r-glasso): Update to 1.11.
2019-10-03 16:03:35 +02:00
dcb45ce576
gnu: r-bookdown: Update to 0.14.
...
* gnu/packages/cran.scm (r-bookdown): Update to 0.14.
2019-10-03 16:03:35 +02:00
9bcd8b68ca
gnu: r-rvcheck: Update to 0.1.5.
...
* gnu/packages/cran.scm (r-rvcheck): Update to 0.1.5.
[propagated-inputs]: Add r-biocmanager.
2019-10-03 16:03:35 +02:00
934f7e31d6
gnu: r-calibrate: Update to 1.7.5.
...
* gnu/packages/cran.scm (r-calibrate): Update to 1.7.5.
2019-10-03 16:03:35 +02:00
4c9a3173d3
gnu: r-pls: Update to 2.7-2.
...
* gnu/packages/cran.scm (r-pls): Update to 2.7-2.
2019-10-03 16:03:35 +02:00
bc11837ceb
gnu: r-globaloptions: Update to 0.1.1.
...
* gnu/packages/cran.scm (r-globaloptions): Update to 0.1.1.
2019-10-03 16:03:34 +02:00
908497b46b
gnu: r-gdal: Update to 1.4-6.
...
* gnu/packages/cran.scm (r-gdal): Update to 1.4-6.
2019-10-03 16:03:34 +02:00
97b44f5ea3
gnu: r-sjplot: Update to 2.7.2.
...
* gnu/packages/cran.scm (r-sjplot): Update to 2.7.2.
2019-10-03 16:03:34 +02:00
ccbc1c5eb2
gnu: mesa: Disable faulty test on i686 also when cross-compiling.
...
* gnu/packages/gl.scm (mesa)[arguments]: Fix 'patch-create_test_cases phase
for cross-compilation.
2019-10-03 12:03:16 +02:00
cbc8c658d6
gnu: gnucash: Update to 3.7.
...
* gnu/packages/gnucash.scm (gnucash): Update to 3.7.
[arguments]: Remove "disable-stress-options-test" phase.
(gnucash-docs): Update to 3.7.
2019-10-02 21:30:57 -04:00
2b2f7e5d8c
gnu: rclone: Update to 1.49.4.
...
* gnu/packages/sync.scm (rclone): Update to 1.49.4.
2019-10-03 01:09:32 +02:00
7dc1e65fbe
gnu: wireshark: Update to 3.0.5.
...
* gnu/packages/networking.scm (wireshark): Update to 3.0.5.
2019-10-03 01:05:55 +02:00
dbd634b0fb
gnu: asymptote: Update to 2.55.
...
* gnu/packages/plotutils.scm (asymptote): Update to 2.55.
2019-10-03 00:43:56 +02:00
e5bb683aeb
gnu: grammalecte: Update to 1.5.0.
...
* gnu/packages/dictionaries.scm (grammalecte): Update to 1.5.0.
2019-10-03 00:38:45 +02:00
60d2aaa567
gnu: jumpnbump: Update to 1.61.
...
* gnu/packages/games.scm (jumpnbump): Update to 1.61.
2019-10-03 00:36:35 +02:00
2026204a13
gnu: slime-swank: Update to 2.24 and use asdf-build-system/source.
...
* gnu/packages/lisp.scm (sbcl-slime-swank): Deprecate in favour of cl-slime-swank.
(cl-slime-swank): New package.
(sbcl-mgl-pax): Use cl-slime-swank.
* gnu/packages/web-browsers.scm (next): Use cl-slime-swank.
2019-10-02 21:50:03 +02:00
8ce47c2020
gnu: efl: Build with elogind support.
...
* gnu/packages/enlightenment.scm (efl)[arguments]: Add configure flag to
enable support for elogind.
[propagated-inputs]: Add elogind.
2019-10-02 21:00:27 +03:00
6a3823de89
gnu: enlightenment: Update to 0.23.1.
...
* gnu/packages/enlightenment.scm (enlightenment): Update to 0.23.1.
2019-10-02 20:59:55 +03:00
35d62990b5
gnu: evisum: Update to 0.2.6.
...
* gnu/packages/enlightenment.scm (evisum): Update to 0.2.6.
2019-10-02 20:59:54 +03:00
ecca80e25c
gnu: efl: Update to 1.23.0.
...
* gnu/packages/enlightenment.scm (efl): Update to 1.23.0.
[outputs]: Remove field.
[build-system]: Switch to meson-build-system.
[native-inputs]: Add check, gettext-minimal.
[inputs]: Remove alsa-lib, ghostscript, libexif, openjpeg-1, printproto,
xinput, xpr, xorgproto. Add ibus. Move mesa to here. Move libjpeg,
libsndfile, libtiff, libwebp, libx11, lz4, pulseaudio ...
[propagated-inputs]: ... to here. Add avahi.
[arguments]: Add custom phase to work around dbus path issues. Adjust
configure-flags for build-system change.
2019-10-02 20:59:54 +03:00
dde9d85818
gnu: screen: Update to 4.7.0.
...
* gnu/packages/screen.scm (screen): Update to 4.7.0.
2019-10-02 20:57:46 +03:00
9e9f6b3773
gnu: emacs-helm-lsp: Fix description.
...
* gnu/packages/emacs-xyz.scm (emacs-helm-lsp): Fix description.
2019-10-02 19:28:37 +02:00
8b0ac06a18
gnu: Add emacs-lsp-ivy.
...
* gnu/packages/emacs-xyz.scm (emacs-lsp-ivy): New variable.
2019-10-02 19:28:37 +02:00
58da4b0a84
gnu: msmtp: Update to 1.8.6.
...
* gnu/packages/mail.scm (msmtp): Update to 1.8.6.
2019-10-02 15:22:42 +02:00
9383208029
gnu: p11-kit: Update to 0.23.18.1.
...
* gnu/packages/tls.scm (p11-kit): Update to 0.23.18.1.
2019-10-02 15:22:42 +02:00
c692c1b7ea
gnu: libcap-ng: Update to 0.7.10.
...
* gnu/packages/admin.scm (libcap-ng): Update to 0.7.10.
2019-10-02 15:22:42 +02:00
645d0c92e0
gnu: tcpdump: Update to 4.9.3 [security fixes].
...
This release fixes the following CVEs: CVE-2017-16808, CVE-2018-14468,
CVE-2018-14469, CVE-2018-14470, CVE-2018-14466, CVE-2018-14461,
CVE-2018-14462, CVE-2018-14465, CVE-2018-14881, CVE-2018-14464,
CVE-2018-14463, CVE-2018-14467, CVE-2018-10103, CVE-2018-10105,
CVE-2018-14880, CVE-2018-16451, CVE-2018-14882, CVE-2018-16227,
CVE-2018-16229, CVE-2018-16301, CVE-2018-16230, CVE-2018-16452,
CVE-2018-16300, CVE-2018-16228, CVE-2019-15166, CVE-2019-15167,
CVE-2018-14879.
* gnu/packages/admin.scm (tcpdump): Update to 4.9.3.
2019-10-02 15:22:42 +02:00
4cc0b485be
gnu: libpcap: Update to 1.9.1.
...
* gnu/packages/admin.scm (libpcap): Update to 1.9.1.
2019-10-02 15:22:42 +02:00
4ee948e39b
gnu: python-defusedxml: Update to 0.6.0.
...
* gnu/packages/xml.scm (python-defusedxml): Update to 0.6.0.
2019-10-02 14:50:48 +02:00
86f2124b0f
gnu: dconf-editor: Fix build failure.
...
Fixes <https://bugs.gnu.org/37503 >.
Reported by Jack Hill <jackhill@jackhill.us>.
* gnu/packages/gnome.scm (dconf-editor)[arguments]: New field.
2019-10-02 14:46:03 +02:00
6811256745
gnu: emacs-relint: Update to 1.11.
...
* gnu/packages/emacs-xyz.scm (emacs-relint): Update to 1.11.
2019-10-02 14:45:52 +02:00
8ef3f2e3ac
gnu: alex4: Update to 1.2.1.
...
* gnu/packages/games.scm (alex4): Update to 1.2.1.
[arguments]: Use top-level Makefile. Drop DATADIR.
Remove ’configure’ phase.
2019-10-02 14:45:52 +02:00
359a57b6e1
gnu: alex4: Don't use unstable tarball.
...
* gnu/packages/games.scm (alex4)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-10-02 14:45:52 +02:00
ab0ede51c0
gnu: next: Update to 1.3.3.
...
* gnu/packages/web-browsers.scm (next-gtk-webkit): Bump version.
(sbcl-next-history-tree): New package.
(sbcl-next-password-manager): New package.
(next)[inputs]: Add cl-ansi-text, cl-prevalence, sbcl-next-history-tree,
sbcl-next-password-manager.
2019-10-02 13:11:51 +02:00
e8ded3ee6a
gnu: linux-libre-headers@5.3: Install.
...
Upstream has separated building and installing the UAPI headers, and now
requires rsync for the latter.
Follow-up to commit 9e34a5f3b2
2019-10-02 12:16:41 +02:00
ece22ac8cc
gnu: translate-shell: Update to 0.9.6.11.
...
* gnu/packages/dictionnaries.scm (translate-shell): Update to 0.9.6.11.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-10-02 11:35:55 +02:00
d8de38563b
gnu: tigervnc-server: Clean up comments.
...
* gnu/packages/tigervnc.scm (tigervnc-server): Clean up comments.
2019-10-02 01:27:23 +02:00
04784d217a
gnu: Add tigervnc-server.
...
* gnu/packages/tigervnc.scm (tigervnc-server): New variable.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-02 01:24:16 +02:00
0992cfa13a
gnu: Add tigervnc-client.
...
* gnu/packages/tigervnc.scm: New file.
(tigervnc-client): New variable.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add tigervnc.scm.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-02 01:24:09 +02:00
0bf7d34d77
services: For "gdm-password" pam service, include "limits.conf".
...
* gnu/services/base.scm (pam-limits-service-type): For "gdm-password" pam
service, include "limits.conf".
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-02 00:48:45 +02:00
b6b257ed94
gnu: Add xfce4-volumed-pulse.
...
* gnu/packages/xfce.scm: Add xfce4-volumed-pulse.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-02 00:11:16 +02:00
8c765a3b26
gnu: Add keybinder-3.0.
...
* gnu/packages/wm.scm: Add keybinder-3.0 package.
Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
2019-10-02 00:11:08 +02:00
b72c22c01a
gnu: Add iwd.
...
* gnu/packages/networking.scm (iwd): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-10-01 23:34:30 +02:00
9e34a5f3b2
gnu: linux-libre: Add version 5.3.1.
...
* gnu/packages/linux.scm (linux-libre-5.3-version)
(linux-libre-5.3-pristine-source, linux-libre-5.3-source)
(linux-libre-headers-5.3, linux-libre-5.3): New public variables.
* gnu/packages/aux-files/linux-libre/5.3-arm.conf,
gnu/packages/aux-files/linux-libre/5.3-arm-veyron.conf,
gnu/packages/aux-files/linux-libre/5.3-arm64.conf,
gnu/packages/aux-files/linux-libre/5.3-i686.conf,
gnu/packages/aux-files/linux-libre/5.3-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Add them.
2019-10-01 22:40:05 +02:00
7c552913c1
gnu: Add reuse.
...
* gnu/packages/license.scm (reuse): New public variable.
2019-10-01 22:40:05 +02:00
d6803445ee
gnu: Add python-license-expression.
...
* gnu/packages/python-xyz.scm (python-license-expression): New public
variable.
2019-10-01 22:40:05 +02:00
dc827867be
gnu: Add python-boolean.py.
...
* gnu/packages/python-xyz.scm (python-boolean.py): New public variable.
2019-10-01 22:40:04 +02:00
f27c6c16be
gnu: guix-data-service: Update to 0.0.1-2.e00aabd.
...
* gnu/packages/web.scm (guix-data-service): Update to 0.0.1-2.e00aabd.
[arguments]: Add new process-branch-updated-mbox executable to list.
2019-10-01 19:37:39 +01:00
18edc9db02
gnu: conky: Add Pulseaudio support.
...
* gnu/packages/conky.scm (conky)[inputs]: Add pulseaudio.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2019-10-01 18:11:25 +02:00
c76d19a3fc
gnu: youtube-dl: Update to 2019.09.28.
...
* gnu/packages/video.scm (youtube-dl): Update to 2019.09.28.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
2019-10-01 17:09:16 +02:00
8400d097bd
gnu: guile: Add 2.2.4.
...
* gnu/packages/guile.scm (guile-2.2.4): New variable.
2019-10-01 15:47:34 +02:00
0cf2b6f2db
Merge branch 'master' into core-updates
2019-10-01 12:06:00 +02:00
717b6ba6aa
gnu: Add abcl.
...
* gnu/packages/java.scm (abcl): New variable.
* gnu/packages/patches/abcl-fix-build-xml.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2019-10-01 11:04:40 +02:00
8e5ffebeaa
gnu: Add emacs-handle.
...
* gnu/packages/emacs-xyz.scm (emacs-handle): New variable.
2019-10-01 09:09:49 +02:00
cab542cbf7
gnu: emacs-compdef: Update to 0.2-2.67104a3.
...
* gnu/packages/emacs-xyz.scm (emacs-compdef): Update to 0.2-2.67104a3.
2019-10-01 09:09:44 +02:00
e03b912600
gnu: Add mcrl2-minimal.
...
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
2019-09-30 21:26:56 +02:00
Pierre Neidhardt