From 301255c5f873e81c39902f8bec56c41c85cac129 Mon Sep 17 00:00:00 2001 From: Rutherther Date: Mon, 5 Jan 2026 17:56:11 +0100 Subject: [PATCH] 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 --- gnu/packages/emacs-xyz.scm | 1 - 1 file changed, 1 deletion(-) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 6d66565d25f7a7a3589fde96e04ce7ed6fcb68cc..46f4a7d6036efcec79e3e33e21bf3f6e20f27656 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -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)