gnu: ghc-repline: Remove version 0.2.0.0.

Not required by any package in the tree.

* gnu/packages/haskell-xyz.scm (ghc-repline-0.3): Merge into…
(ghc-repline): …this.
* gnu/packages/dhall.scm (dhall): Use ghc-repline.
This commit is contained in:
Lars-Dominik Braun 2021-10-05 15:34:26 +02:00
parent 06587abbd2
commit d142843d15
No known key found for this signature in database
GPG Key ID: F663943E08D8092A
2 changed files with 9 additions and 24 deletions

View File

@ -68,7 +68,7 @@
("ghc-pretty-simple" ,ghc-pretty-simple)
("ghc-profunctors" ,ghc-profunctors)
("ghc-pretty-simple" ,ghc-pretty-simple)
("ghc-repline" ,ghc-repline-0.3)
("ghc-repline" ,ghc-repline)
("ghc-serialise" ,ghc-serialise)
("ghc-scientific" ,ghc-scientific)
("ghc-text-manipulate" ,ghc-text-manipulate)

View File

@ -11092,28 +11092,6 @@ inspired by libtre.")
(define-public ghc-repline
(package
(name "ghc-repline")
(version "0.2.0.0")
(source
(origin
(method url-fetch)
(uri (string-append
"mirror://hackage/package/repline/repline-"
version
".tar.gz"))
(sha256
(base32
"1ph21kbbanlcs8n5lwk16g9vqkb98mkbz5mzwrp8j2rls2921izc"))))
(build-system haskell-build-system)
(home-page "https://github.com/sdiehl/repline")
(synopsis "Haskeline wrapper for GHCi-like REPL interfaces")
(description
"Haskeline wrapper for GHCi-like REPL interfaces. Composable with
normal mtl transformers.")
(license license:expat)))
(define-public ghc-repline-0.3
(package
(inherit ghc-repline)
(version "0.4.0.0")
(source
(origin
@ -11125,9 +11103,16 @@ normal mtl transformers.")
(sha256
(base32
"1dspwi28krinkxdd7waq4y6plz0dfmzz72885p9pcqp1r14qrhj3"))))
(build-system haskell-build-system)
(inputs
`(("ghc-exceptions" ,ghc-exceptions)
("ghc-haskeline" ,ghc-haskeline-0.8)))))
("ghc-haskeline" ,ghc-haskeline-0.8)))
(home-page "https://github.com/sdiehl/repline")
(synopsis "Haskeline wrapper for GHCi-like REPL interfaces")
(description
"Haskeline wrapper for GHCi-like REPL interfaces. Composable with
normal mtl transformers.")
(license license:expat)))
(define-public ghc-rerebase
(package