From cee82b7fbfc5fc071cc03714b4a5726487304ba8 Mon Sep 17 00:00:00 2001 From: Andreas Enge Date: Mon, 5 Jan 2026 16:47:18 +0100 Subject: [PATCH] gnu: Remove idris-lens. * gnu/packages/idris.scm (idris-lens): Delete variable. Change-Id: I53eb1218e44a5cd595d63cf4813d0b43e3ecf7c3 --- gnu/packages/idris.scm | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 1e65fefec3ff873fe37fdaceddabeec84227ce1b..5c8fc025becf52268fccd0143a880f3b6f3967fe 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -207,28 +207,3 @@ by Parsec. This package is used (almost) the same way as Parsec, except for one difference: backtracking.") (license license:bsd-2)))) -(define-public idris-lens - (let ((commit "26f012005f6849806cea630afe317e42cae97f29")) - (package - (name "idris-lens") - (version (git-version "0.1" "1" commit)) - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/HuwCampbell/idris-lens") - (commit commit))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "06jzfj6rad08rk92w8jk5byi79svmyg0mrcqhibgx8rkjjy6vmai")))) - (build-system gnu-build-system) - (native-inputs - (list idris)) - (propagated-inputs - (list idris-bifunctors)) - (arguments (idris-default-arguments name)) - (home-page "https://github.com/HuwCampbell/idris-lens") - (synopsis "Van Laarhoven lenses for Idris") - (description "Lenses are composable functional references. They allow -accessing and modifying data within a structure.") - (license license:bsd-3))))