guix_mirror_bot pushed a commit to branch master
in repository guix.
commit c0d1c2760dcb7c8c03c9ac9ceeedf06afff59a81
Author: Andreas Enge <[email protected]>
AuthorDate: Mon Jan 5 16:46:54 2026 +0100
gnu: Remove idris-bifunctors.
* gnu/packages/idris.scm (idris-bifunctors): Delete variable.
Change-Id: I66b439c010bc96dc8634bf5872dc0babffb39631
---
gnu/packages/idris.scm | 24 ------------------------
1 file changed, 24 deletions(-)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 2a1355cd3a..1e65fefec3 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -207,30 +207,6 @@ by Parsec. This package is used (almost) the same way as
Parsec, except for one
difference: backtracking.")
(license license:bsd-2))))
-(define-public idris-bifunctors
- (let ((commit "53d06a6ccfe70c49c9ae8c8a4135981dd2173202"))
- (package
- (name "idris-bifunctors")
- (version (git-version "0.1" "1" commit))
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url "https://github.com/HuwCampbell/Idris-Bifunctors";)
- (commit commit)))
- (file-name (string-append name "-" version "-checkout"))
- (sha256
- (base32
- "02vbsd3rmgnj0l1qq787709qcxjbr9890cbad4ykn27f77jk81h4"))))
- (build-system gnu-build-system)
- (native-inputs
- (list idris))
- (arguments (idris-default-arguments name))
- (home-page "https://github.com/HuwCampbell/Idris-Bifunctors";)
- (synopsis "Bifunctor library")
- (description "This is a bifunctor library for Idris based off the
-excellent Haskell Bifunctors package from Edward Kmett.")
- (license license:bsd-3))))
-
(define-public idris-lens
(let ((commit "26f012005f6849806cea630afe317e42cae97f29"))
(package
