~ruther/guix-local: gnu: Remove usage of (gnu packages idris).

301255c5f873e81c39902f8bec56c41c85cac129 — Rutherther a month ago e9d6326

gnu: Remove usage of (gnu packages idris).

Followup of 6bd2a77b7bc78ed9d827ef9b078ce10745636232.

* gnu/packages/emacs-xyz.scm: Remove usage of (gnu packages idris) module.

Change-Id: I0a72e9358ccfd08d36c1f1b455c22f75e0c63558

patch browse .tar.gz

1 files changed, 0 insertions(+), 1 deletions(-)

M gnu/packages/emacs-xyz.scm

M gnu/packages/emacs-xyz.scm => gnu/packages/emacs-xyz.scm +0 -1

@@ 228,7 228,6 @@
   #:use-module (gnu packages haskell)
   #:use-module (gnu packages haskell-apps)
   #:use-module (gnu packages ibus)
-  #:use-module (gnu packages idris)
   #:use-module (gnu packages java)
   #:use-module (gnu packages julia-xyz)
   #:use-module (gnu packages ncurses)