me/guix
Archived
1
0
Fork 0
Code Activity

gnu: Add ghc-peano.

Browse source 
* gnu/packages/haskell-xyz.scm (ghc-peano): New variable.
This commit is contained in:
Josselin Poiret 2023-03-01 16:31:38 +01:00
parent 178ffed3b7
commit 89f8fc9c95
No known key found for this signature in database
GPG key ID: 505E40B916171A8A
1 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
gnu/packages/haskell-xyz.scm
View file

@ -31,6 +31,7 @@
;;; Copyright © 2021–2023 Alice BRENON <alice.brenon@ens-lyon.fr> ;;; Copyright © 2021–2023 Alice BRENON <alice.brenon@ens-lyon.fr>
;;; Copyright © 2021 John Kehayias <john.kehayias@protonmail.com> ;;; Copyright © 2021 John Kehayias <john.kehayias@protonmail.com>
;;; Copyright © 2022 jgart <jgart@dismail.de> ;;; Copyright © 2022 jgart <jgart@dismail.de>
;;; Copyright © 2023 Josselin Poiret <dev@jpoiret.xyz>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -8602,6 +8603,26 @@ of functions that implement regular expression pattern matching using the same
syntax and semantics as Perl 5.") syntax and semantics as Perl 5.")
(license license:bsd-3))) (license license:bsd-3)))
(define-public ghc-peano
(package
(name "ghc-peano")
(version "0.1.0.1")
(source (origin
(method url-fetch)
(uri (hackage-uri "peano" version))
(sha256
(base32
"0yzcxrl41dacvx2wkyxjj7hgvz56l4qb59r4h9rmaqd7jcwx5z9i"))))
(build-system haskell-build-system)
(arguments
`(#:cabal-revision ("3"
"0wl22dnz6ld300cg6id3lw991bp8kdfi8h0nbv37vn79i1zdcj5n")))
(home-page "http://hackage.haskell.org/package/peano")
(synopsis "Peano numbers")
(description "Provides an efficient Haskell implementation of Peano
numbers")
(license license:bsd-3)))
(define-public ghc-persistent (define-public ghc-persistent
(package (package
(name "ghc-persistent") (name "ghc-persistent")