GNU bug report logs - #64066
[PATCH 00/19] Add Plunder

Previous Next

Full log

View this message in rfc822 format

From: zamfofex <zamfofex <at> twdb.moe>
To: 64066 <at> debbugs.gnu.org
Cc: zamfofex <zamfofex <at> twdb.moe>, Lars-Dominik Braun <lars <at> 6xq.net>
Subject: [bug#64066] [PATCH 03/19] gnu: Add ghc-constraints-extras
Date: Wed, 14 Jun 2023 09:48:43 -0300

* gnu/packages/haskell-xyz.scm (ghc-constraints-extras): New variable.
---
 gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 2a4def30ff..e3f620137a 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -2468,6 +2468,30 @@ (define-public ghc-constraints
 a vocabulary for working with them.")
     (license license:bsd-2)))
 
+(define-public ghc-constraints-extras
+  (package
+    (name "ghc-constraints-extras")
+    (version "0.4.0.0")
+    (source (origin
+              (method url-fetch)
+              (uri (hackage-uri "constraints-extras" version))
+              (sha256
+               (base32
+                "1irf4kd7a5h1glczbc73c3590m58azn4s68nfrjfg1h96i7mjfgn"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "constraints-extras")))
+    (inputs (list ghc-constraints ghc-aeson))
+    (arguments
+     `(#:cabal-revision ("1"
+                         "1fdabah3ilq9yf94916ml3c3rxgcgab1jhzl4mk1zgzsw78j53qf")))
+    (home-page "https://github.com/obsidiansystems/constraints-extras")
+    (synopsis "Utility package for constraints")
+    (description
+     "Convenience functions and TH for working with constraints.  See
+<https://github.com/obsidiansystems/constraints-extras/blob/develop/README.md
+README.md> for example usage.")
+    (license license:bsd-3)))
+
 (define-public ghc-contravariant
   (package
     (name "ghc-contravariant")
-- 
2.40.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.