3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Commit graph

113 commits

Author SHA1 Message Date
Clément Lassieur
337cb4a048
gnu: Add agent-proxy.
* gnu/packages/embedded.scm (agent-proxy): New variable.

Signed-off-by: Léo Le Bouter <lle-bout@zaclys.net>
2021-02-26 00:01:56 +01:00
Julien Lepiller
a613abeb43
gnu: Add python-psptool.
* gnu/packages/embedded.scm (python-psptool): New variable.
2021-02-08 20:15:06 +01:00
Danny Milosavljevic
3581d4be95
gnu: fc-host-tools: Update to 14.
* gnu/packages/embedded.scm (fc-host-tools): Update to 14.
2020-12-22 20:50:57 +01:00
Simon South
0b8c90b65a
gnu: sdcc: Update to 4.0.0.
* gnu/packages/embedded.scm (sdcc): Update to 4.0.0.
[native-inputs]: Add zlib.
[description]: Update to match new version.
* gnu/packages/patches/sdcc-disable-non-free-code.patch: Update to match new
version.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
c11fedf63c
gnu: sdcc: Expand comment regarding GPUTILS and PIC ports.
* gnu/packages/embedded.scm (sdcc)[arguments]: Expand comment to explain why
GPUTILS is not yet available and SDCC's PIC ports are disabled.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
c369a90787
gnu: sdcc: Correct name of phase.
* gnu/packages/embedded.scm [arguments]<#:phases>: Rename "patch-makefile"
phase to "patch-makefiles".

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
20ba86567a
gnu: sdcc: Revise synopsis and description.
* gnu/packages/embedded.scm (sdcc)[synopsis]: State package's use more
clearly.
[description]: Revise for brevity.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
1fd317de92
gnu: sdcc: Specify complete set of licenses.
* gnu/packages/embedded.scm (sdcc)[license]: Replace with full list of
licenses used by files in the distribution.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
c626e281b4
gnu: sdcc: Move to embedded.scm.
* gnu/packages/embedded.scm: Add sdcc from sdcc.scm.
* gnu/packages/electronics.scm: Update #:use-module directive.
* gnu/packages/sdcc.scm: Delete file.
* gnu/local.mk: Remove it.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:36 +01:00
Simon South
29e91f0a61
gnu: Add μCsim.
* gnu/packages/embedded.scm (ucsim): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-12-21 17:47:35 +01:00
Morgan Smith
dcb95c6fc1
gnu: openocd: Fix build.
* gnu/packages/embedded.scm (openocd)[arguments]: Add "LIBS=-lutil" to allow
it to build.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2020-12-01 11:08:57 +01:00
8ed4c468ab
gnu: Don't append '.git' to GitHub uris.
* gnu/packages/admin.scm (nmrpflash)[source]: Remove '.git' from URI.
* gnu/packages/aidc.scm (zxing-cpp),
* gnu/packages/assembly.scm (mbuild),
* gnu/packages/audio.scm (opensles, wildmidi, tinyalsa),
* gnu/packages/browser-extensions.scm (ublock-origin-chromium),
* gnu/packages/check.scm (mutest),
* gnu/packages/compression.scm (unshield),
* gnu/packages/coq.scm (subset),
* gnu/packages/dictionaries.scm (translate-shell),
* gnu/packages/disk.scm (memkind),
* gnu/packages/documentation.scm (latex2html),
* gnu/packages/emacs-xyz.scm (emacs-chronometrist,
  emacs-flycheck-ledger, emacs-counsel-notmuch, emacs-spaceline,
  emacs-org-generate),
* gnu/packages/embedded.scm (ebusd, ebusd-configuration),
* gnu/packages/enchant.scm (nuspell),
* gnu/packages/fontutils.scm (woff2),
* gnu/packages/geo.scm (memphis),
* gnu/packages/gimp.scm (mrg),
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-appindicator),
* gnu/packages/gnome.scm (parlatype),
* gnu/packages/golang.scm (go-github-com-tv42-httpunix,
  go-github-com-ayufan-golang-kardianos-service),
* gnu/packages/graphics.scm (eglexternalplatform, egl-wayland, mmm,
  directfb, flux),
* gnu/packages/gstreamer.scm (openni2, ccextractor, libvisual,
  graphene),
* gnu/packages/guile-xyz.scm (guile-srfi-180, guile-torrent),
* gnu/packages/image.scm (openjpeg-data),
* gnu/packages/java.scm (javacc),
* gnu/packages/language.scm (liblouis, liblouisutdml),
* gnu/packages/linux.scm (pamela, ttyebus),
* gnu/packages/lxqt.scm (lxqt-connman-applet),
* gnu/packages/mail.scm (libetpan),
* gnu/packages/man.scm (ronn),
* gnu/packages/music.scm (tascam-gtk, artyfx),
* gnu/packages/networking.scm (srt, lksctp-tools, nng, nanomsg),
* gnu/packages/python-crypto.scm (pure-python-otr),
* gnu/packages/qt.scm (qtspell),
* gnu/packages/raspberry-pi.scm (raspi-gpio, raspi-open-firmware),
* gnu/packages/rdp.scm (freerdp),
* gnu/packages/ruby.scm (ruby-prawn-templates, ruby-treetop, ruby-gimme,
  ruby-standard, ruby-rubocop-ast, ruby-rexml, ruby-range-compressor,
  ruby-regexp-property-values, ruby-regexp-parser, ruby-rubocop,
  ruby-pdf-reader, ruby-pdf-inspector, ruby-prawn),
* gnu/packages/syncthing.scm (syncthing-gtk),
* gnu/packages/video.scm (svt-hevc, mediasdk, libvideogfx, libde265,
  tslib),
* gnu/packages/xml.scm (libxmlb, libxmlplusplus)[source]: Same.
2020-11-19 20:48:26 +02:00
Danny Milosavljevic
f2c6375449
gnu: gcc-vc4: Update to commit 0fe4b83897341742f9df65797474cb0feab4b377.
* gnu/packages/patches/gcc-6-fix-buffer-size.patch: New file.
* gnu/packages/patches/gcc-6-fix-isl-includes.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
* gnu/packages/embedded.scm (gcc-vc4): Update to commit
0fe4b83897341742f9df65797474cb0feab4b377.
[source]: Add the patches from above.
2020-11-16 15:02:48 +01:00
Tobias Geerinckx-Rice
e35f77e118
gnu: jimtcl: Update to 0.80.
* gnu/packages/embedded.scm (jimtcl): Update to 0.80.
[arguments]: Add a ‘delete-failing-tests’ phase.
[native-inputs]: Add inetutils.
2020-11-10 18:19:39 +01:00
Malte Frank Gerdes
cad55e91fd
gnu: openocd: Update to 9a877a83a1c8b1f105cdc0de46c5cbc4d9e8799e.
* gnu/packages/embedded.scm (openocd): Update to 9a877a83a1c8b1f105cdc0de46c5cbc4d9e8799e.
[version]: Substitute release with current master.
[source]: Remove openocd-nrf52.patch
[arguments]: Replace bootstrap build phase.

* gnu/local.mk: Remove openocd-nrf52.patch.
* gnu/packages/patches/openocd-nrf52.patch: Remove file.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-10-22 17:10:25 +02:00
Malte Frank Gerdes
2eacb95ad5
gnu: libjaylink: Update to 0.2.0
* gnu/packages/embedded.scm (libjaylink): Update to 0.2.0
[origin]: Substitute upstream repository location.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2020-10-22 17:10:25 +02:00
Danny Milosavljevic
e88242cb75
gnu: ebusd: Enable MQTT support.
* gnu/packages/embedded.scm (ebusd)[inputs]: Add mosquitto.
2020-09-12 02:07:34 +02:00
Danny Milosavljevic
bbf8a30966
gnu: Add ebusd.
* gnu/packages/embedded.scm (ebusd): New variable.
2020-09-07 00:19:54 +02:00
Danny Milosavljevic
1bb4fd64b7
gnu: fc-host-tools: Update to 13.
* gnu/packages/embedded.scm (fc-host-tools): Update to 13.
[description]: Modify.
2020-08-22 20:37:41 +02:00
Jan Wielkiewicz
840d7034ec
gnu: arm-none-eabi-toolchain: Fix compilation.
* gnu/packages/embedded.scm (gcc-arm-none-eabi-7-2018-q2-update)
[native-inputs]: Remove gcc-5.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-07-28 10:43:43 +03:00
Ludovic Courtès
b0e7b6992f
gnu: Remove ".git" from "https://github/…/….git".
Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix
swh) would sometimes return #f for these because the ".git" URLs are
redirects to the non-".git" URLs.  Consequently, 'guix lint -c archival'
would keep saying "scheduled Software Heritage archival"; likewise, the
fallback download code would fail.

* gnu/packages/ada.scm,
gnu/packages/admin.scm,
gnu/packages/aidc.scm,
gnu/packages/algebra.scm,
gnu/packages/android.scm,
gnu/packages/animation.scm,
gnu/packages/arcan.scm,
gnu/packages/assembly.scm,
gnu/packages/audio.scm,
gnu/packages/authentication.scm,
gnu/packages/avr.scm,
gnu/packages/axoloti.scm,
gnu/packages/backup.scm,
gnu/packages/bash.scm,
gnu/packages/benchmark.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/bittorrent.scm,
gnu/packages/boost.scm,
gnu/packages/build-tools.scm,
gnu/packages/c.scm,
gnu/packages/calendar.scm,
gnu/packages/cdrom.scm,
gnu/packages/check.scm,
gnu/packages/chemistry.scm,
gnu/packages/chez.scm,
gnu/packages/clojure.scm,
gnu/packages/code.scm,
gnu/packages/compression.scm,
gnu/packages/compton.scm,
gnu/packages/coq.scm,
gnu/packages/cpp.scm,
gnu/packages/cran.scm,
gnu/packages/crypto.scm,
gnu/packages/curl.scm,
gnu/packages/databases.scm,
gnu/packages/datastructures.scm,
gnu/packages/debug.scm,
gnu/packages/disk.scm,
gnu/packages/distributed.scm,
gnu/packages/django.scm,
gnu/packages/dlang.scm,
gnu/packages/dns.scm,
gnu/packages/docker.scm,
gnu/packages/education.scm,
gnu/packages/efi.scm,
gnu/packages/elixir.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/embedded.scm,
gnu/packages/emulators.scm,
gnu/packages/engineering.scm,
gnu/packages/erlang.scm,
gnu/packages/fabric-management.scm,
gnu/packages/file-systems.scm,
gnu/packages/finance.scm,
gnu/packages/firmware.scm,
gnu/packages/flashing-tools.scm,
gnu/packages/fonts.scm,
gnu/packages/fontutils.scm,
gnu/packages/fpga.scm,
gnu/packages/game-development.scm,
gnu/packages/games.scm,
gnu/packages/genealogy.scm,
gnu/packages/genimage.scm,
gnu/packages/geo.scm,
gnu/packages/gimp.scm,
gnu/packages/gl.scm,
gnu/packages/gnome-xyz.scm,
gnu/packages/gnome.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/golang.scm,
gnu/packages/gpodder.scm,
gnu/packages/graph.scm,
gnu/packages/graphics.scm,
gnu/packages/graphviz.scm,
gnu/packages/groff.scm,
gnu/packages/groovy.scm,
gnu/packages/gtk.scm,
gnu/packages/guile-xyz.scm,
gnu/packages/guile.scm,
gnu/packages/hardware.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-xyz.scm,
gnu/packages/hexedit.scm,
gnu/packages/i2p.scm,
gnu/packages/ibus.scm,
gnu/packages/image-processing.scm,
gnu/packages/image-viewers.scm,
gnu/packages/image.scm,
gnu/packages/ipfs.scm,
gnu/packages/java-graphics.scm,
gnu/packages/java-maths.scm,
gnu/packages/java.scm,
gnu/packages/javascript.scm,
gnu/packages/jrnl.scm,
gnu/packages/julia.scm,
gnu/packages/jupyter.scm,
gnu/packages/kodi.scm,
gnu/packages/language.scm,
gnu/packages/lego.scm,
gnu/packages/less.scm,
gnu/packages/libusb.scm,
gnu/packages/linux.scm,
gnu/packages/lirc.scm,
gnu/packages/lisp-xyz.scm,
gnu/packages/llvm.scm,
gnu/packages/logging.scm,
gnu/packages/lolcode.scm,
gnu/packages/lua.scm,
gnu/packages/lxde.scm,
gnu/packages/lxqt.scm,
gnu/packages/machine-learning.scm,
gnu/packages/mail.scm,
gnu/packages/markup.scm,
gnu/packages/maths.scm,
gnu/packages/maven.scm,
gnu/packages/mes.scm,
gnu/packages/messaging.scm,
gnu/packages/monitoring.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/node-xyz.scm,
gnu/packages/ocaml.scm,
gnu/packages/ocr.scm,
gnu/packages/onc-rpc.scm,
gnu/packages/opencl.scm,
gnu/packages/opencog.scm,
gnu/packages/pantheon.scm,
gnu/packages/password-utils.scm,
gnu/packages/patchutils.scm,
gnu/packages/pdf.scm,
gnu/packages/perl6.scm,
gnu/packages/phabricator.scm,
gnu/packages/popt.scm,
gnu/packages/printers.scm,
gnu/packages/prolog.scm,
gnu/packages/protobuf.scm,
gnu/packages/pulseaudio.scm,
gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm,
gnu/packages/python-xyz.scm,
gnu/packages/qt.scm,
gnu/packages/radio.scm,
gnu/packages/rails.scm,
gnu/packages/rdf.scm,
gnu/packages/rednotebook.scm,
gnu/packages/rpc.scm,
gnu/packages/rsync.scm,
gnu/packages/ruby.scm,
gnu/packages/rust.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/security-token.scm,
gnu/packages/selinux.scm,
gnu/packages/serialization.scm,
gnu/packages/shells.scm,
gnu/packages/shellutils.scm,
gnu/packages/simh.scm,
gnu/packages/sml.scm,
gnu/packages/ssh.scm,
gnu/packages/statistics.scm,
gnu/packages/stenography.scm,
gnu/packages/sync.scm,
gnu/packages/syncthing.scm,
gnu/packages/synergy.scm,
gnu/packages/telephony.scm,
gnu/packages/terminals.scm,
gnu/packages/tex.scm,
gnu/packages/texinfo.scm,
gnu/packages/text-editors.scm,
gnu/packages/textutils.scm,
gnu/packages/time.scm,
gnu/packages/tmux.scm,
gnu/packages/tor.scm,
gnu/packages/toys.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/vim.scm,
gnu/packages/virtualization.scm,
gnu/packages/vlang.scm,
gnu/packages/vnc.scm,
gnu/packages/vpn.scm,
gnu/packages/web-browsers.scm,
gnu/packages/web.scm,
gnu/packages/wireservice.scm,
gnu/packages/wm.scm,
gnu/packages/wxwidgets.scm,
gnu/packages/xdisorg.scm,
gnu/packages/xml.scm,
gnu/packages/xorg.scm,
tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
2020-07-12 23:08:15 +02:00
Danny Milosavljevic
782cc119f5
gnu: python-mpsse: Update to 1.4.1.
Follow-up to a7b20226b2.

* gnu/packages/embedded.scm (python-libmpsse): Update to 1.4.1.
2020-05-18 19:57:23 +02:00
Danny Milosavljevic
a7b20226b2
gnu: python-libmpsse: Update to 1.4.1.
* gnu/packages/embedded.scm (python-libmpsse): Update to 1.4.1.
[arguments]<#:phases>[set-environment-up]:
Fix build with Python 3.8.
2020-05-15 23:24:49 +02:00
Björn Höfling
f6ec9f9d39
gnu: gcc-arm-none-eabi@7-2018-q2-update: Fix conflicting GCC headers.
This is a follow-up of 7f6d3f3950 and merely
a copy-and-paste of Marius Bakke's fix.

* gnu/packages/embedded.scm (gcc-arm-none-eabi-7-2018-q2-update)[arguments]:
Add phase to remove the default compiler from CPLUS_INCLUDE_PATH.
[native-inputs]: Distinguish GCC-5.
2020-05-14 10:40:30 +02:00
Marius Bakke
7f6d3f3950
gnu: gcc-arm-none-eabi: Fix conflicting GCC headers.
Fixes <https://bugs.gnu.org/41210>.
Reported by Ricardo Wurmus <rekado@elephly.net>.

* gnu/packages/embedded.scm (gcc-arm-none-eabi-4.9)[arguments]: Add phase to
remove the default compiler from CPLUS_INCLUDE_PATH.
[native-inputs]: Distinguish GCC-5.
2020-05-13 21:07:40 +02:00
Tobias Geerinckx-Rice
f4766a1810
gnu: libjaylink: Use HTTPS home page.
* gnu/packages/embedded.scm (libjaylink)[home-page]: Use HTTPS.
2020-03-17 03:12:16 +01:00
Tobias Geerinckx-Rice
dd8cf0097e
gnu: picprog: Use HTTPS home page.
* gnu/packages/embedded.scm (picprog)[home-page]: Use HTTPS.
2020-03-12 04:57:40 +01:00
Tobias Geerinckx-Rice
2196e3cc23
gnu: newlib: Use HTTPS home page.
* gnu/packages/embedded.scm (newlib)[home-page]: Use HTTPS.
2020-02-17 03:21:45 +01:00
fd7ad89948
gnu: jimtcl: Update to 0.79.
* gnu/packages/embedded.scm (jimtcl): Update to 0.79.
[home-page]: Update home-page.
2020-01-24 10:31:29 +02:00
cc17b07a02
gnu: jimtcl: Don't use unstable tarball.
* gnu/packages/embedded.scm (jimtcl)[source]: Download using git-fetch.
2020-01-24 10:26:53 +02:00
fe1506a0ca
gnu: stlink: Don't use unstable tarball.
* gnu/packages/embedded.scm (stlink)[source]: Download using git-fetch.
2020-01-24 10:24:12 +02:00
02aab3df21
gnu: spin2cpp: Don't use unstable tarball.
* gnu/packages/embedded.scm (spin2cpp)[source]: Download using git-fetch.
2020-01-24 10:16:07 +02:00
9be1f2b77c
gnu: openspin: Don't use unstable tarball.
* gnu/packages/embedded.scm (openspin)[source]: Download using git-fetch.
2020-01-24 10:07:58 +02:00
Ludovic Courtès
5a2639f9cb
Avoid warnings for the 'delete' binding of (guix build utils).
On Guile 3, importing (guix build utils) leads to warnings such as:

  WARNING: (gnu packages embedded): imported module (guix build utils) overrides core binding `delete'

* gnu/packages/embedded.scm: Select 'alist-replace' from (guix build utils).
* guix/ui.scm: Hide 'delete' from (guix build utils).
2020-01-15 18:40:43 +01:00
Ricardo Wurmus
ee9e108aab
gnu: Add arm-none-eabi-nano-toolchain-7-2018-q2-update.
* gnu/packages/embedded.scm (arm-none-eabi-nano-toolchain-7-2018-q2-update):
New variable.
2019-12-25 11:06:10 +01:00
Ricardo Wurmus
893960ee61
gnu: Add arm-none-eabi-toolchain-7-2018-q2-update.
* gnu/packages/embedded.scm (arm-none-eabi-toolchain-7-2018-q2-update): New
variable.
2019-12-25 11:06:10 +01:00
Ricardo Wurmus
f08eed3d40
gnu: Add newlib-nano-arm-none-eabi-7-2018-q2-update.
* gnu/packages/embedded.scm (newlib-nano-arm-none-eabi-7-2018-q2-update): New
variable.
2019-12-25 11:06:10 +01:00
Ricardo Wurmus
5c792737b6
gnu: Add newlib-arm-none-eabi-7-2018-q2-update.
* gnu/packages/embedded.scm (newlib-arm-none-eabi-7-2018-q2-update): New variable.
2019-12-25 11:06:09 +01:00
Ricardo Wurmus
04c4ef351f
gnu: Add gcc-arm-none-eabi-7-2018-q2-update.
* gnu/packages/embedded.scm (gcc-arm-none-eabi-7-2018-q2-update): New
variable.
* gnu/packages/patches/gcc-7-cross-environment-variables.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2019-12-25 11:06:09 +01:00
Clément Lassieur
2c2fc24b89
gnu: Add west.
* gnu/packages/embedded.scm (west): New variable.
2019-12-05 16:54:59 +01:00
Ludovic Courtès
0cf2b6f2db
Merge branch 'master' into core-updates 2019-10-01 12:06:00 +02:00
Danny Milosavljevic
2eefe1d887
gnu: fc-host-tools: Improve description.
* gnu/packages/embedded.scm (fc-host-tools)[description]: Improve description.
2019-09-28 15:40:59 +02:00
Danny Milosavljevic
1333eb5851
gnu: fc-host-tools: Update to 11.
* gnu/packages/embedded.scm (fc-host-tools): Update to 11.
[arguments]<:phases>[handle-tarbomb]: Delete phase.
[patch-installation-paths]: Modify.
2019-09-28 15:25:50 +02:00
Marius Bakke
e7f62a41b2
Merge branch 'master' into core-updates 2019-09-27 19:11:27 +02:00
Danny Milosavljevic
2ea4587d83
gnu: python-libmpsse: Update to 1.4.
* gnu/packages/embedded.scm (python2-libmpsse): Rename to...
(python-libmpsse): ...this.
[version]: Update to 1.4.
[source]: Change repository and version.
[inputs]: Change Python version.
[arguments]: Add #parallel-build?.
(python2-libmpsse): New variable.
2019-09-26 15:58:48 +02:00
Ricardo Wurmus
316fa45ea4
gnu: gcc-arm-none-eabi-4.9: Build with GCC 5.
* gnu/packages/embedded.scm (gcc-arm-none-eabi-4.9)[native-inputs]: Add gcc-5.
2019-09-19 21:33:40 +02:00
Danny Milosavljevic
16cb1c51ad
gnu: fc-host-tools: Fix fc-loadtool.
* gnu/packages/embedded.scm (fc-host-tools)[arguments]<#:phases>
[patch-installation-paths]: Modify.
2019-04-12 16:30:10 +02:00
Danny Milosavljevic
eb6ef893e8
gnu: fc-host-tools: Update to 10.
* gnu/packages/embedded.scm (fc-host-tools): Update to 10.
[arguments]<:make-flags>: Change INSTBIN to INSTALL_PREFIX.
2019-03-08 19:33:04 +01:00
Danny Milosavljevic
6adfcbeab1
gnu: fc-host-tools: Update to 9a.
* gnu/packages/embedded.scm (fc-host-tools)[source]: Update to 9a.
[arguments]<#:phases>[patch-installation-paths]: Modify.
2019-02-04 00:14:18 +01:00
Ricardo Wurmus
5cb9754cf4
gnu: proplib: Use INVOKE.
* gnu/packages/embedded.scm (proplib)[arguments]: Use INVOKE.
2019-01-25 15:17:47 +01:00