From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:39804) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1decZ8-0000w0-Bn for guix-patches@gnu.org; Mon, 07 Aug 2017 03:35:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1decZ5-0005vr-2d for guix-patches@gnu.org; Mon, 07 Aug 2017 03:35:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:42544) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1decZ4-0005vW-QG for guix-patches@gnu.org; Mon, 07 Aug 2017 03:35:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1decZ4-00068W-D3 for guix-patches@gnu.org; Mon, 07 Aug 2017 03:35:02 -0400 Subject: [bug#27987] Dependencies for Agda - a dependently typed functional language References: <87efsoofo9.fsf@gmail.com> In-Reply-To: <87efsoofo9.fsf@gmail.com> Resent-Message-ID: From: Alex Vong Date: Mon, 07 Aug 2017 15:34:26 +0800 Message-ID: <87valzde65.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 27987@debbugs.gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Hello, Here is the remaining dependencies for Agda. Actually I have already managed to get Agda to build, but I still need to figure out how to build the standard library. --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0001-gnu-Add-ghc-data-hash.patch Content-Transfer-Encoding: quoted-printable From=208c38d3e533717c67ab91cfa72c8d8553798987d6 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:02:41 +0800 Subject: [PATCH 1/8] gnu: Add ghc-data-hash. * gnu/packages/haskell.scm (ghc-data-hash): New variable. =2D-- gnu/packages/haskell.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 60ded9651..d054753b3 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1857,6 +1857,29 @@ data structures. The package provides instances for= basic types and a way to combine hash values.") (license license:bsd-3))) =20 +(define-public ghc-data-hash + (package + (name "ghc-data-hash") + (version "0.2.0.1") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/data-hash" + "/data-hash-" version ".tar.gz")) + (sha256 + (base32 "1ghbqvc48gf9p8wiy71hdpaj7by3b9cw6wgwi3qqz8iw054xs5wi")))) + (build-system haskell-build-system) + (inputs + `(("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-test-framework" ,ghc-test-framework) + ("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2))) + (home-page "https://hackage.haskell.org/package/data-hash") + (synopsis "Combinators for building fast hashing functions") + (description + "Combinators for building fast hashing functions. Includes hashing +functions for all basic Haskell98 types.") + (license license:bsd-3))) + (define-public ghc-hunit (package (name "ghc-hunit") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0002-gnu-Add-ghc-murmur-hash.patch Content-Transfer-Encoding: quoted-printable From=205cdf99afbd92e9181e9213979de7e7bbc02c41f9 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:05:36 +0800 Subject: [PATCH 2/8] gnu: Add ghc-murmur-hash. * gnu/packages/haskell.scm (ghc-murmur-hash): New variable. =2D-- gnu/packages/haskell.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index d054753b3..4b1543233 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1880,6 +1880,27 @@ combine hash values.") functions for all basic Haskell98 types.") (license license:bsd-3))) =20 +(define-public ghc-murmur-hash + (package + (name "ghc-murmur-hash") + (version "0.1.0.9") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/murmur-has= h" + "/murmur-hash-" version ".tar.gz")) + (sha256 + (base32 "1bb58kfnzvx3mpc0rc0dhqc1fk36nm8prd6gvf20gk6lxaadpfc9")))) + (build-system haskell-build-system) + (home-page "https://github.com/nominolo/murmur-hash") + (synopsis "MurmurHash2 implementation for Haskell") + (description + "Implements MurmurHash2, a good, fast, general-purpose, non-cryptogra= phic +hashing function. See @url{https://sites.google.com/site/murmurhash/} for +details. This implementation is pure Haskell, so it might be a bit slower= than +a C FFI binding.") + (license license:bsd-3))) + (define-public ghc-hunit (package (name "ghc-hunit") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0003-gnu-Add-ghc-edisonapi.patch Content-Transfer-Encoding: quoted-printable From=20abc98c9c108aac8591c002426dabc4b10e267647 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:09:03 +0800 Subject: [PATCH 3/8] gnu: Add ghc-edisonapi. * gnu/packages/haskell.scm (ghc-edisonapi): New variable. =2D-- gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 4b1543233..e2fa7aace 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -3870,6 +3870,31 @@ different keys; hence the name. Also provided is a = @code{locker} type, representing a store for a single element.") (license license:bsd-3))) =20 +(define-public ghc-edisonapi + (package + (name "ghc-edisonapi") + (version "1.3.1") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/EdisonAPI" + "/EdisonAPI-" version ".tar.gz")) + (sha256 + (base32 "0vmmlsj8ggbpwx6fkf5fvb6jp0zpx6iba6b28m80lllr2p8bi8wm")))) + (build-system haskell-build-system) + (inputs `(("ghc-mtl" ,ghc-mtl))) + (home-page "http://rwd.rdockins.name/edison/home/") + (synopsis "Library of efficient, purely-functional data structures (AP= I)") + (description + "Edison is a library of purely functional data structures written by +Chris Okasaki. It is named after Thomas Alva Edison and for the mnemonic = value +EDiSon (Efficient Data Structures). Edison provides several families of +abstractions, each with multiple implementations. The main abstractions +provided by Edison are: Sequences such as stacks, queues, and dequeues; +Collections such as sets, bags and heaps; and Associative Collections such= as +finite maps and priority queues where the priority and element are distinc= t.") + (license license:expat))) + (define-public ghc-mmorph (package (name "ghc-mmorph") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0004-gnu-Add-ghc-edisoncore.patch Content-Transfer-Encoding: quoted-printable From=200dd3f97e1764a0fad07859895c683b64cfa6e6de Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:10:39 +0800 Subject: [PATCH 4/8] gnu: Add ghc-edisoncore. * gnu/packages/haskell.scm (ghc-edisoncore): New variable. =2D-- gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index e2fa7aace..8a08ad906 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -3895,6 +3895,34 @@ Collections such as sets, bags and heaps; and Associ= ative Collections such as finite maps and priority queues where the priority and element are distinc= t.") (license license:expat))) =20 +(define-public ghc-edisoncore + (package + (name "ghc-edisoncore") + (version "1.3.1.1") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/EdisonCore" + "/EdisonCore-" version ".tar.gz")) + (sha256 + (base32 "06shxmcqxcahcn6zgl64vlqix4fnq53d97drcgsh94qp7gp201ry")))) + (build-system haskell-build-system) + (inputs + `(("ghc-mtl" ,ghc-mtl) + ("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-edisonapi" ,ghc-edisonapi))) + (home-page "http://rwd.rdockins.name/edison/home/") + (synopsis + "Library of efficent, purely-functional data structures +(Core Implementations)") + (description + "This package provides the core Edison data structure implementations, +including multiple sequence, set, bag, and finite map concrete implementat= ions +with various performance characteristics. The implementations in this pac= kage +have no dependencies other than those commonly bundled with Haskell +compilers.") + (license license:expat))) + (define-public ghc-mmorph (package (name "ghc-mmorph") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0005-gnu-Add-ghc-fail.patch Content-Transfer-Encoding: quoted-printable From=20e43cfe603c08d70423af42f35173294a15145a05 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:13:42 +0800 Subject: [PATCH 5/8] gnu: Add ghc-fail. * gnu/packages/haskell.scm (ghc-fail): New variable. =2D-- gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 8a08ad906..4a322ca4b 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -3972,6 +3972,30 @@ a subset of @code{MonadBase} into which generic cont= rol operations such as @code{catch} can be lifted from @code{IO} or any other base monad.") (license license:bsd-3))) =20 +(define-public ghc-fail + (package + (name "ghc-fail") + (version "4.9.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/fail/fail-" + version ".tar.gz")) + (sha256 + (base32 "18nlj6xvnggy61gwbyrpmvbdkq928wv0wx2zcsljb52kbhddnp3d")))) + (build-system haskell-build-system) + (home-page "https://prime.haskell.org/wiki/Libraries/Proposals/MonadFa= il") + (synopsis "Forward-compatible MonadFail class") + (description + "This package contains the \"Control.Monad.Fail\" module providing the +@uref{https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail, MonadF= ail} +class that became available in +@uref{https://hackage.haskell.org/package/base-4.9.0.0, base-4.9.0.0} for = older +@code{base} package versions. This package turns into an empty package wh= en +used with GHC versions which already provide the \"Control.Monad.Fail\" mo= dule +to make way for GHC's own \"Control.Monad.Fail\" module.") + (license license:bsd-3))) + (define-public ghc-byteorder (package (name "ghc-byteorder") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0006-gnu-Add-ghc-monadplus.patch Content-Transfer-Encoding: quoted-printable From=20d21b1af8916ae507400a9a8e2cb51c9bdb72586b Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:15:12 +0800 Subject: [PATCH 6/8] gnu: Add ghc-monadplus. * gnu/packages/haskell.scm (ghc-monadplus): New variable. =2D-- gnu/packages/haskell.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 4a322ca4b..6ad6f7799 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -3996,6 +3996,26 @@ used with GHC versions which already provide the \"C= ontrol.Monad.Fail\" module to make way for GHC's own \"Control.Monad.Fail\" module.") (license license:bsd-3))) =20 +(define-public ghc-monadplus + (package + (name "ghc-monadplus") + (version "1.4.2") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/monadplus" + "/monadplus-" version ".tar.gz")) + (sha256 + (base32 "15b5320wdpmdp5slpphnc1x4rhjch3igw245dp2jxbqyvchdavin")))) + (build-system haskell-build-system) + (home-page "https://hackage.haskell.org/package/monadplus") + (synopsis + "Filtering and folding over arbitrary @code{MonadPlus} instances") + (description + "This package generalizes many common stream operations such as +@code{filter}, @code{catMaybes} etc.") + (license license:bsd-3))) + (define-public ghc-byteorder (package (name "ghc-byteorder") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0007-gnu-Add-ghc-geniplate-mirror.patch Content-Transfer-Encoding: quoted-printable From=20857831b8908aa6d8732be76878b2dba3fed93f07 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:20:37 +0800 Subject: [PATCH 7/8] gnu: Add ghc-geniplate-mirror. * gnu/packages/haskell.scm (ghc-geniplate-mirror): New variable. =2D-- gnu/packages/haskell.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 6ad6f7799..7ecbccacb 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5778,6 +5778,28 @@ and @code{Eq} instances. These instances used to li= ve in the haskell-src-meta package, and that's where the version number started.") (license license:bsd-3))) =20 +(define-public ghc-geniplate-mirror + (package + (name "ghc-geniplate-mirror") + (version "0.7.5") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package" + "/geniplate-mirror" + "/geniplate-mirror-" version ".tar.gz")) + (sha256 + (base32 "17vjps2118s5z3k39ij00lkmkxv3mqf8h59wv6qdamlgmhyr36si")))) + (build-system haskell-build-system) + (inputs `(("ghc-mtl" ,ghc-mtl))) + (home-page "https://github.com/danr/geniplate") + (synopsis "Use Template Haskell to generate Uniplate-like functions") + (description + "Use Template Haskell to generate Uniplate-like functions. This is a +maintained mirror of the @uref{https://hackage.haskell.org/package/genipla= te, +geniplate} package, written by Lennart Augustsson.") + (license license:bsd-3))) + (define-public ghc-haskell-src-meta (package (name "ghc-haskell-src-meta") =2D-=20 2.13.4 --=-=-= Content-Type: text/x-diff Content-Disposition: inline; filename=0008-gnu-Add-ghc-gitrev.patch Content-Transfer-Encoding: quoted-printable From=2077f25bfeaec40a4cdb08a053bc41527b2dd6e738 Mon Sep 17 00:00:00 2001 From: Alex Vong Date: Mon, 7 Aug 2017 15:22:00 +0800 Subject: [PATCH 8/8] gnu: Add ghc-gitrev. * gnu/packages/haskell.scm (ghc-gitrev): New variable. =2D-- gnu/packages/haskell.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 7ecbccacb..14bc1dddb 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5800,6 +5800,28 @@ maintained mirror of the @uref{https://hackage.haske= ll.org/package/geniplate, geniplate} package, written by Lennart Augustsson.") (license license:bsd-3))) =20 +(define-public ghc-gitrev + (package + (name "ghc-gitrev") + (version "1.3.1") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/gitrev/git= rev-" + version ".tar.gz")) + (sha256 + (base32 "0cl3lfm6k1h8fxp2vxa6ihfp4v8igkz9h35iwyq2frzm4kdn96d8")))) + (build-system haskell-build-system) + (inputs `(("ghc-base-compat" ,ghc-base-compat))) + (home-page "https://github.com/acfoltzer/gitrev") + (synopsis "Compile git revision info into Haskell projects") + (description + "Some handy Template Haskell splices for including the current git ha= sh +and branch in the code of your project. Useful for including in panic +messages, @command{--version} output, or diagnostic info for more informat= ive +bug reports.") + (license license:bsd-3))) + (define-public ghc-haskell-src-meta (package (name "ghc-haskell-src-meta") =2D-=20 2.13.4 --=-=-= Content-Type: text/plain Cheers, Alex --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEdZDkzSn0Cycogr9IxYq4eRf1Ea4FAlmIGAIACgkQxYq4eRf1 Ea7cKhAAtbMmbtXSj4P/zx7hQUlr3cUnNVVUBEw6MFGqb98rhRC+COjl0Btx+Vc6 BoqLXsMmXhDTvCVoHEQL7tfUoWKOTHhDH7TKO+7PEYQ1+cRlllra3O6l4WKVf/re UUHPTBdfCDOz+w53kTTo20IoO1MMfgrkAA34h0uh66X4af/4q46D45CBel6tRnnF i4lw6spWbHpjsiI9pUTcDbsiaBG6f337v0gYbQNqOc4RdjIhOKcNWrHlYx1AIwGU a3+KF/1SjgHfTafbzZ0ME033mic8XBw3oud3shsAXu6dGNSsBobepIFxutUaVoBM TKKAPQcVmfuOSziouefe9BtkVBXrn/SSixMyLXDFjTZxqnvUI/YiDxPd6ouNU5gc nWnvwcblviqv2hfETUM8YFrcohMXYr3NqDaey4E0JE9A2OCZIVcYLVTR4CsXQPl5 N8cxCpIgT8p3o+dmFgO8x7OSpzHx+w/haSDJ+arDwXeb9cXGAzKvWYPh0tnSBlV4 BC34IGNY1aSSqpqY7hMEBdaanLTltDr8B+CYokv0uM8meyTLTZ8E5WDUrqqwA7mc PyG+UtgJYOhJ2tX8J6XHOol55jxP6adTGi22N3Cgqdrr3swRxeyNZEMRj2wfK2NX Qe9XhIkWd1G2GKxh8iBOXjkvNgNcgV4tIrzTc4mSQwgUjhiRVio= =hs4r -----END PGP SIGNATURE----- --==-=-=--