From f9e92222d9e2a4e033abee2c7697331b5e2b3655 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Mon, 5 Jan 2026 16:47:28 +0100 Subject: [PATCH] gnu: Remove idris-lightyear. * gnu/packages/idris.scm (idris-lightyear): Delete variable. Change-Id: I8acc2c3c6dd02edff64968f2d676dea5ed481319 --- gnu/packages/idris.scm | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 5c8fc025bec..eafbff11208 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -181,29 +181,3 @@ Epigram and Agda.") idris-path-subdirs))))) ;; FIXME: Seems to be a bug in idris that causes a dubious failure. (apply system* install-cmd))))))) - -(define-public idris-lightyear - (let ((commit "6d65ad111b4bed2bc131396f8385528fc6b3678a")) - (package - (name "idris-lightyear") - (version (git-version "0.1" "1" commit)) - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/ziman/lightyear") - (commit commit))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1pkxnn3ryr0v0cin4nasw7kgkc9dnnpja1nfbj466mf3qv5s98af")))) - (build-system gnu-build-system) - (native-inputs - (list idris)) - (arguments (idris-default-arguments name)) - (home-page "https://github.com/ziman/lightyear") - (synopsis "Lightweight parser combinator library for Idris") - (description "Lightweight parser combinator library for Idris, inspired -by Parsec. This package is used (almost) the same way as Parsec, except for one -difference: backtracking.") - (license license:bsd-2)))) -