c33a27ceb8
gnu: man-db: Update to 2.8.3.
...
* gnu/packages/man.scm (man-db): Update to 2.8.3.
2018-04-17 04:02:13 +02:00
a0e0f9d743
gnu: ruby-crass: Update to 1.0.4.
...
* gnu/packages/ruby.scm (ruby-crass): Update to 1.0.4.
2018-04-17 04:02:12 +02:00
b1e415404c
gnu: ethtool: Update to 4.16.
...
* gnu/packages/networking.scm (ethtool): Update to 4.16.
2018-04-17 04:02:12 +02:00
77009de71b
gnu: libtorrent-rasterbar: Update to 1.1.7.
...
* gnu/packages/bittorrent.scm (libtorrent-rasterbar): Update to 1.1.7.
2018-04-17 04:02:12 +02:00
08baa9ace9
gnu: neofetch: Update to 3.4.0.
...
* gnu/packages/admin.scm (neofetch): Update to 3.4.0.
2018-04-17 04:02:11 +02:00
05341cc97b
gnu: xonsh: Update to 0.6.1.
...
* gnu/packages/shells.scm (xonsh): Update to 0.6.1.
2018-04-17 04:02:11 +02:00
ee280cea93
gnu: r-matrix: Update to 1.2-14.
...
* gnu/packages/statistics.scm (r-matrix): Update to 1.2-14.
2018-04-17 04:02:11 +02:00
361cee7124
gnu: r-hms: Update to 0.4.2.
...
* gnu/packages/statistics.scm (r-hms): Update to 0.4.2.
2018-04-17 04:02:10 +02:00
e354b03223
gnu: r-yaml: Update to 2.1.18.
...
* gnu/packages/statistics.scm (r-yaml): Update to 2.1.18.
2018-04-17 04:02:10 +02:00
8998583417
gnu: r-ade4: Update to 1.7-11.
...
* gnu/packages/statistics.scm (r-ade4): Update to 1.7-11.
2018-04-17 04:02:10 +02:00
9d448362a1
gnu: r-lubridate: Update to 1.7.4.
...
* gnu/packages/statistics.scm (r-lubridate): Update to 1.7.4.
2018-04-17 04:02:10 +02:00
fbe8ebec9e
gnu: kakoune: Update to 2018.04.13.
...
* gnu/packages/text-editors.scm (kakoune): Update to 2018.04.13.
Remove LET binding for the git revision and re-indent accordingly.
[version, source]: Replace the git checkout with new release tarball.
[arguments]: Remove ‘fix-test-permissions’ phase.
[native-inputs]: Add PKG-CONFIG.
2018-04-17 04:02:09 +02:00
b30c23c433
gnu: perl-crypt-openssl-random: Update to 0.13.
...
* gnu/packages/tls.scm (perl-crypt-openssl-random): Update to 0.13.
[native-inputs]: Add PERL-CRYPT-OPENSSL-GUESS.
2018-04-17 04:02:09 +02:00
c80590f646
gnu: Add perl-crypt-openssl-guess.
...
* gnu/packages/tls.scm (perl-crypt-openssl-guess): New public variable.
2018-04-17 04:02:09 +02:00
7f1d8b5cdb
gnu: miniupnpc: Update to 2.0.20180410.
...
* gnu/packages/upnp.scm (miniupnpc): Update to 2.0.20180410.
2018-04-17 04:02:08 +02:00
3dc77d40e6
gnu: i3lock-color: Update to 2.11-c.
...
* gnu/packages/wm.scm (i3lock-color): Update to 2.11-c.
[inputs]: Add LIBJPEG-TURBO.
2018-04-17 04:02:08 +02:00
fa2886b7fd
gnu: i3lock-color: Stylistic fixes.
...
* gnu/packages/wm.scm (i3lock-color)[arguments]: Use INVOKE and end
phase with explicit #t.
[inputs, native-inputs]: Fix indentation and order alphabetically.
2018-04-17 04:02:08 +02:00
800e4fd802
gnu: xmobar: Update to 0.26.
...
* gnu/packages/wm.scm (xmobar): Update to 0.36.
[native-inputs]: Add GHC-HSPEC and HSPEC-DISCOVER.
2018-04-17 04:02:07 +02:00
eddc4b3352
gnu: pure: Update to 0.68.
...
* gnu/packages/pure.scm (pure): Update to 0.68.
2018-04-17 04:02:07 +02:00
01005901fd
gnu: Use HTTPS for more sigrok.org home pages.
...
* gnu/packages/electronics.scm (libserialport, pulseview)[home-page]:
Use HTTPS.
2018-04-17 03:56:44 +02:00
fc5c5b92cf
gnu: epiphany: Update to 3.28.1.
...
* gnu/packages/gnome.scm (epiphany): Update to 3.28.1.
[build-system]: Use meson-build-system.
[native-inputs]: Add desktop-file-utils, glib:bin and gtk+:bin.
[inputs]: Add gdk-pixbuf+svg and nettle. Remove gdk-pixbuf.
[arguments]: Remove #:configure-flags.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-04-17 00:37:27 +02:00
5849c68a3d
gnu: Add mbpfan.
...
* gnu/packages/linux.scm (mbpfan): New variable.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-04-17 00:36:08 +02:00
08fda9c6c0
gnu: xpad: Update to 5.0.0.
...
* gnu/packages/gnome.scm (xpad) Update to 5.0.0.
[arguments]: Add autogen phase.
[native-inputs]: Add autoconf and automake.
[inputs]: Remove gtk+.
[native-inputs]: Add gtk+:bin.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-04-17 00:29:00 +02:00
d09e31bdf6
gnu: libmygpo-qt: Update to 1.1.0.
...
* gnu/packages/music.scm (libmygpo-qt): Update to 1.1.0.
[source]: Remove 'patches'.
[arguments]: Do not set BUILD_WITH_QT4=OFF, it is the default.
* gnu/packages/patches/libmygpo-qt-fix-jsoncreatortest.patch: Remove.
* gnu/local.mk (dist_patch_DATA): Adjust.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
2018-04-17 00:08:45 +02:00
237587f1e0
gnu: rust: Disable test_process_mask tests.
...
* gnu/packages/rust.scm (rust-1.19): Disable test_process_mask tests.
2018-04-16 19:58:05 +02:00
67ca98ec78
gnu: rust: Don't build for "native" arch on ARM.
...
* gnu/packages/rust.scm (rust-1.23)<#:phases>[dont-build-native]: New phase.
2018-04-16 19:58:05 +02:00
af4ea9c5cb
gnu: rust: Don't #ignore the same test twice.
...
* gnu/packages/rust.scm (rust-1.19)[arguments]<#:phases>[patch-tests]:
Don't #ignore the same test twice.
2018-04-16 19:58:05 +02:00
a92bf11c49
gnu: Add mrustc.
...
* gnu/packages/rust.scm (mrustc): New variable.
2018-04-16 19:58:05 +02:00
fe61c88af9
gnu: rust: Update to 1.24.0.
...
* gnu/packages/rust.scm (rust): Rename to...
(rust-1.24): ...this.
(rust): New variable.
2018-04-16 19:58:04 +02:00
1bb23335e6
gnu: rust: Enable more tests.
...
* gnu/packages/rust.scm (rust-1.19)[arguments]<#:phases>[set-env]: Modify.
(rust-1.23)<#:phases>[patch-cargo-tests]: New phase.
(rust-1.23)<#:phases>[check]: Enable more tests.
2018-04-16 19:58:02 +02:00
eb357e24f7
gnu: xfig: Update to 3.2.7.
...
* gnu/packages/xfig.scm (xfig): Update to 3.2.7.
2018-04-16 18:45:07 +02:00
7aa6e29d0c
gnu: libsigrokdecode: Update phase style.
...
* gnu/packages/electronics.scm (libsigrokdecode)[arguments]: Use INVOKE
and end all phases with an explicit #t.
2018-04-16 18:45:07 +02:00
bf660f726a
gnu: libsigrokdecode: Update to 0.5.1.
...
* gnu/packages/electronics.scm (libsigrokdecode): Update to 0.5.1.
2018-04-16 18:45:06 +02:00
4780089803
gnu: Use HTTPS for sigrok.org home pages.
...
* gnu/packages/electronics.scm (libsigrokdecode, sigrok-firmware-fx2lafw)
(libsigrok, sigrok-cli)[home-page]: Use HTTPS.
2018-04-16 18:45:06 +02:00
7ee5881dc1
gnu: webkitgtk: Update to 2.20.1.
...
* gnu/packages/webkit.scm (webkitgtk): Update to 2.20.1.
2018-04-16 18:33:48 +02:00
727ffbd56b
gnu: pugixml: Update to 1.9.
...
* gnu/packages/xml.scm (pugixml): Update to 1.9.
2018-04-16 18:33:47 +02:00
286552278a
gnu: pugixml: Use HTTPS home page.
...
* gnu/packages/xml.scm (pugixml)[home-page]: Use HTTPS.
2018-04-16 18:33:47 +02:00
d0ee11b2f0
gnu: sharutils: Fix CVE-2018-1000097.
...
* gnu/packages/patches/sharutils-CVE-2018-1000097.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/compression.scm (sharutils)[source](patches): Use it.
2018-04-16 18:02:14 +02:00
452454e30c
gnu: Add emacs-epkg.
...
* gnu/packages/emacs.scm (emacs-epkg): New public variable.
2018-04-16 17:02:34 +03:00
93aba854db
gnu: Add emacs-closql.
...
* gnu/packages/emacs.scm (emacs-closql): New public variable.
2018-04-16 17:02:34 +03:00
4d089b5e56
gnu: Add emacs-emacsql.
...
* gnu/packages/emacs.scm (emacs-emacsql): New public variable.
2018-04-16 17:02:34 +03:00
6c92b4406f
gnu: Add emacs-finalize.
...
* gnu/packages/emacs.scm (emacs-finalize): New public variable.
2018-04-16 17:02:33 +03:00
5b6d674760
gnu: Add emacs-cl-generic.
...
* gnu/packages/emacs.scm (emacs-cl-generic): New public variable.
2018-04-16 17:02:33 +03:00
086bfb37af
gnu: Add emacs-pg.
...
* gnu/packages/emacs.scm (emacs-pg): New public variable.
2018-04-16 17:02:33 +03:00
892527829c
gnu: abcde: Update to 2.9.1.
...
* gnu/packages/cdrom.scm (abcde): Update to 2.9.1.
2018-04-15 22:58:44 +03:00
b433c7b336
gnu: geoclue: Update to 2.4.8.
...
* gnu/packages/gnome.scm (geoclue): Update to 2.4.8.
2018-04-15 19:31:14 +02:00
605ade4429
gnu: google-brotli: Update to 1.0.4.
...
* gnu/packages/compression.scm (google-brotli): Update to 1.0.4.
2018-04-15 19:31:13 +02:00
1b0be8c506
gnu: di: Update to 4.46.
...
* gnu/packages/admin.scm (di): Update to 4.46.
2018-04-15 19:31:11 +02:00
93cbcc26bf
gnu: ncmpcpp: Update to 0.8.2.
...
* gnu/packages/mpd.scm (ncmpcpp): Update to 0.8.2.
2018-04-15 13:09:20 -04:00
fdb61400a0
gnu: mupen64plus-video-z64: Fix glew.h location.
...
* gnu/packages/patches/mupen64plus-video-z64-glew-correct-path.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/emulators.scm (mupen64plus-video-z64)[source]: Use it.
2018-04-15 15:17:21 +03:00
3b4f3ff7ee
gnu: xscreensaver: Update to 5.39.
...
* gnu/packages/xdisorg.scm (xscreensaver): Update to 5.39.
2018-04-15 13:03:21 +02:00
1c24862f1e
gnu: nginx: Update to 1.13.12.
...
* gnu/packages/web.scm (nginx): Update to 1.13.12.
2018-04-15 13:03:04 +02:00
a7aed511ec
gnu: efivar: Update to 35.
...
* gnu/packages/linux.scm (efivar): Update to 35.
2018-04-15 12:55:39 +02:00
732825f3f8
gnu: efibootmgr: Update to 16.
...
* gnu/packages/linux.scm (efibootmgr): Update to 16.
[arguments]: Add EFIDIR to #:make-flags. Remove related 'branding' phase.
2018-04-15 12:52:41 +02:00
e0cfc37396
gnu: offlineimap: Update to 7.2.0.
...
* gnu/packages/mail.scm (offlineimap): Update to 7.2.0.
2018-04-15 12:36:16 +02:00
fe4adc12ed
gnu: htop: Update to 2.2.0.
...
* gnu/packages/patches/htop-fix-process-tree.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
* gnu/packages/admin.scm (htop): Update to 2.2.0.
[source](patches): Remove.
2018-04-15 12:31:49 +02:00
87b08d8421
gnu: libsoup: Update to 2.62.1.
...
* gnu/packages/gnome.scm (libsoup): Update to 2.62.1.
2018-04-15 12:23:09 +02:00
8e84eb6847
gnu: python-paramiko: Update to 2.4.1 [fixes CVE-2018-7750].
...
* gnu/packages/python-crypto.scm (python-paramiko): Update to 2.4.1.
[arguments]: Set #:tests? #f.
2018-04-15 12:10:19 +02:00
fc12113704
gnu: mgba: Update to 0.6.3.
...
* gnu/packages/emulators.scm (mgba): Update to 0.6.3.
2018-04-15 11:03:26 +02:00
347bc15161
gnu: Add uefitool.
...
* gnu/packages/flashing-tools.scm (uefitool): New variable.
2018-04-15 09:22:16 +02:00
ca523cc518
gnu: Factorize rust-bootstrapped-package.
...
* gnu/packages/rust.scm (rust-bootstrapped-package): New procedure.
(rust): Use rust-bootstrapped-package.
2018-04-15 09:22:16 +02:00
8fdde58103
gnu: Add rust@1.19.0.
...
* gnu/packages/rust.scm (rust-1.23)[build-system, native-inputs, inputs,
native-search-paths, synopsis, description, home-page, license]: Move to...
(rust-1.19): ... here. New variable.
(rust-1.23)[arguments]<#:phases>[set-env, patch-tests, patch-cargo-checksums]:
Move to...
(rust-1.19): ... here.
(rust-1.19)[arguments]<#:phases>[configure, check, install]: Replace by no-op.
2018-04-15 09:22:12 +02:00
d2dd939e68
gnu: tmux: Update to 2.7.
...
* gnu/packages/tmux.scm (tmux): Update to 2.7.
2018-04-14 23:08:42 -04:00
9578ed006c
gnu: linux-libre@4.9: Update to 4.9.94.
...
* gnu/packages/linux.scm (linux-libre-4.9): Update to 4.9.94.
2018-04-14 14:06:21 -04:00
72d5109ca4
gnu: linux-libre@4.4: Update to 4.4.128.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.128.
2018-04-14 14:05:44 -04:00
ffbe2dc1e5
gnu: python-sge-pygame: Fix typo in description.
...
* gnu/packages/game-development.scm (python-sge-pygame) [description]: Fix
typo.
2018-04-14 18:35:35 +02:00
74b4d7a142
gnu: emacs-polymode: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-polymode)[arguments]: Add modes subdirectory
to #:include. Add add-modes-subdir-to-load-path phase.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 20:13:30 +05:30
fee23c17a9
gnu: emacs-dired-hacks: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-dired-hacks)[propagated-inputs]: Add
emacs-eimp.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 19:45:40 +05:30
de5256d3bb
gnu: Add emacs-eimp.
...
* gnu/packages/emacs.scm (emacs-eimp): New variable.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 19:40:43 +05:30
4e782ffff7
gnu: emacs-request: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-request)[propagated-inputs]: Add
emacs-deferred.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 16:02:39 +05:30
bf86533bf8
gnu: emacs-org-trello: Update to 0.8.0.
...
* gnu/packages/emacs.scm (emacs-org-trello): Update to 0.8.0.
2018-04-14 15:55:26 +05:30
8865d476f3
gnu: emacs-org-trello: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-org-trello)[propagated-inputs]: Add emacs-f
and emacs-helm. Sort.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 15:51:28 +05:30
1fcd7e6c35
gnu: Add emacs-ert-expectations.
...
* gnu/packages/emacs.scm (emacs-ert-expectations): New variable.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 15:45:07 +05:30
5d6f07fb47
gnu: wine-staging: Update to 3.6.
...
* gnu/packages/wine.scm (wine-staging): Update to 3.6.
2018-04-14 12:10:03 +02:00
4165a5590d
gnu: wine-staging-patchset-data: Update to 3.6.
...
* gnu/packages/wine.scm (wine-staging-patchset-data): Update to 3.6.
2018-04-14 12:10:03 +02:00
04918a009d
gnu: Add ghostwriter.
...
* gnu/packages/text-editors.scm (ghostwriter): New variable.
2018-04-13 22:03:00 -05:00
db95d8ca92
gnu: emacs-smartparens: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-smartparens)[propagated-inputs]: Add
emacs-markdown-mode.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 04:39:13 +05:30
b6efe0e81f
gnu: emacs-mu4e-alert: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-mu4e-alert)[propagated-inputs]: Add mu.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 04:03:37 +05:30
9a910133d3
gnu: emacs-evil-matchit: Update to 2.2.6.
...
* gnu/packages/emacs.scm (emacs-evil-matchit): Update to 2.2.6.
2018-04-14 03:59:48 +05:30
80c4aabbad
gnu: emacs-evil-matchit: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-evil-matchit)[propagated-inputs]: Add
emacs-evil.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 03:52:05 +05:30
c4373a6068
gnu: emacs-es-mode: Update to 4.3.0.
...
* gnu/packages/emacs.scm (emacs-es-mode): Update to 4.3.0.
2018-04-14 03:40:58 +05:30
a262ac68d6
gnu: emacs-es-mode: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-es-mode)[propagated-inputs]: Add emacs-dash
and emacs-spark.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 03:40:58 +05:30
bae8e59e9d
gnu: Add emacs-spark.
...
* gnu/packages/emacs.scm (emacs-spark): New variable.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 03:40:58 +05:30
00bdf501df
gnu: emacs-cdlatex: Fix byte compilation.
...
* gnu/packages/emacs.scm (emacs-cdlatex)[propagated-inputs]: Add
emacs-auctex.
Signed-off-by: Arun Isaac <arunisaac@systemreboot.net>
2018-04-14 02:40:27 +05:30
57e3776403
gnu: antlr3-3.1: Fix installed script.
...
* gnu/packages/java.scm (antlr3-3.1)[arguments]: Fix jar name in script.
2018-04-13 23:02:05 +02:00
bc111d3922
gnu: joe: Update to 4.6.
...
* gnu/packages/text-editors.scm (joe): Update to 4.6.
2018-04-13 11:58:18 -05:00
c2a601c9b1
gnu: hexchat: Update to 2.14.1.
...
* gnu/packages/messaging.scm (hexchat): Update to 2.14.1.
[source]: Remove obsolete snippet.
[build-system]: Use the meson-build-system.
[native-inputs]: Add perl, and gettext-minimal. Remove autoconf,
autoconf-archive, automake, intltool, and libtool.
[inputs]: Add libproxy.
[arguments]: Add a phase to skip generation of icon and .desktop file databases.
Remove #:make-flags.
2018-04-13 11:52:43 -04:00
df131dbaf8
gnu: Add iRRAM.
...
* gnu/packages/multiprecision.scm (irram): New variable.
2018-04-13 17:20:39 +02:00
0d4ea19592
gnu: linux-libre: Update to 4.16.2.
...
* gnu/packages/linux.scm (%linux-libre-version): Update to 4.16.2.
(%linux-libre-hash): Update hash.
2018-04-13 04:31:30 -04:00
9e1fc5ae1d
gnu: linux-libre@4.14: Update to 4.14.34.
...
* gnu/packages/linux.scm (%linux-libre-4.14-version): Update to 4.14.34.
(%linux-libre-4.14-hash): Update hash.
2018-04-13 04:30:25 -04:00
1606da6c07
gnu: Add missing freeimage patch.
...
This is a follow-up to a5d4c96b8d
2018-04-13 10:57:04 +03:00
a5d4c96b8d
gnu: freeimage: Remove bundled libraries.
...
This fixes bug #28261 .
* gnu/packages/image.scm (freeimage)[source]: Remove bundled libraries.
[arguments]: Replace 'configure phase, add phase to replace unbuildable
files with empty ones. Adjust makeflags to new inputs.
[native-inputs]: Add pkg-config.
[inputs]: Add libjpeg, libjxr, libpng, libraw, libtiff, libwebp,
openexr, openjpeg, zlib.
[supported-systems]: Add mips64el-linux as a supported system.
2018-04-13 10:53:34 +03:00
de7f234a3a
gnu: datamash: Fix tests on ARM systems.
...
* gnu/packages/patches/datamash-arm-tests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/datamash.scm (datamash)[source]: Use it.
2018-04-12 22:55:51 -05:00
1ca0ac1e80
gnu: Add fasd.
...
* gnu/packages/admin.scm (fasd): New variable.
2018-04-12 22:27:19 -05:00
6a03ccf4a1
gnu: pioneer: Update to 20180203.
...
* gnu/packages/games.scm (pioneer): Update to 20180203.
[source]: Use git-fetch method to avoid github tarball.
2018-04-12 22:03:51 -05:00
306d8630dc
gnu: cool-retro-term: Update to 1.0.1.
...
* gnu/packages/terminals.scm (cool-retro-term): Update to 1.0.1.
[source]: Programmatically remove fonts.
[arguments]: Simplify 'configure phase and use 'invoke'. Add 'install-man
phase. 'let*' -> 'let' where possible.
* gnu/packages/patches/cool-retro-term-remove-non-free-fonts.patch: Delete.
* gnu/local.mk (dist_patch_DATA): Remove it.
2018-04-12 21:01:34 -05:00
e90c5f35d1
Revert "Revert "gnu: nghttp2: Update to 1.31.1 [fixes CVE-2018-1000168].""
...
This reverts commit 4ccbdcbcad
2018-04-12 15:22:11 -04:00
4ccbdcbcad
Revert "gnu: nghttp2: Update to 1.31.1 [fixes CVE-2018-1000168]."
...
This reverts commit 65bfe30d8a
2018-04-12 14:05:33 -04:00
fd995f1ba1
gnu: xf86-input-libinput: Update to 0.27.1.
...
* gnu/packages/xorg.scm (xf86-input-libinput): Update to 0.27.1.
2018-04-12 19:45:47 +02:00
65bfe30d8a
gnu: nghttp2: Update to 1.31.1 [fixes CVE-2018-1000168].
...
* gnu/packages/web.scm (nghttp2): Update to 1.31.1.
2018-04-12 19:43:31 +02:00
Tobias Geerinckx-Rice