|
From: | GNU bug Tracking System |
Subject: | bug#40557: closed ([PATCH] Add dhall.) |
Date: | Fri, 29 May 2020 15:02:02 +0000 |
Your message dated Fri, 29 May 2020 11:01:31 -0400 with message-id <20200529150131.GA12363@jasmine.lan> and subject line Re: [bug#40557] [PATCH] Add dhall. has caused the debbugs.gnu.org bug report #40557, regarding [PATCH] Add dhall. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 40557: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=40557 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] Add dhall. Date: Sat, 11 Apr 2020 09:04:26 -0700 Hi Guix! Dhall is a language for configuration that aims to be the best in class for devops work. It features strong normalization, strong static types, imports, and more. I hope you enjoy it! Thanks, John0001-gnu-Add-ghc-inspection-testing.patch
Description: Text Data0002-gnu-Add-ghc-data-fix.patch
Description: Text Data0003-gnu-Add-ghc-cborg.patch
Description: Text Data0004-gnu-Add-ghc-cborg-json.patch
Description: Text Data0005-gnu-Add-ghc-dotgen.patch
Description: Text Data0006-gnu-Add-ghc-generic-random.patch
Description: Text Data0007-gnu-Add-ghc-text-manipulate.patch
Description: Text Data0008-gnu-Add-ghc-spoon.patch
Description: Text Data0009-gnu-Add-ghc-special-values.patch
Description: Text Data0010-gnu-Add-ghc-serialise.patch
Description: Text Data0011-gnu-Add-ghc-pretty-simple.patch
Description: Text Data0012-gnu-Add-ghc-pgp-wordlist.patch
Description: Text Data0013-gnu-Add-ghc-optional-args.patch
Description: Text Data0014-gnu-Add-ghc-turtle.patch
Description: Text Data0015-gnu-Add-ghc-managed.patch
Description: Text Data0016-gnu-Add-ghc-lens-family-core.patch
Description: Text Data0017-gnu-Add-ghc-prettyprinter.patch
Description: Text Data0018-gnu-Add-ghc-repline.patch
Description: Text Data0019-gnu-Add-ghc-haskeline-0.8.patch
Description: Text Data0020-gnu-Add-ghc-repline-0.3.patch
Description: Text Data0021-gnu-Add-ghc-prettyprinter-1.6.patch
Description: Text Data0022-gnu-Add-ghc-prettyprinter-ansi-terminal.patch
Description: Text Data0023-gnu-Add-ghc-generic-random-1.3.0.1.patch
Description: Text Data0024-gnu-Add-ghc-atomic-write-0.2.0.7.patch
Description: Text Data0025-gnu-Add-dhall.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: [bug#40557] [PATCH] Add dhall. Date: Fri, 29 May 2020 11:01:31 -0400 On Fri, May 29, 2020 at 06:40:11AM -0700, John Soo wrote: > Alright, done. Let me know what else I can do. Thanks! I pushed as 9ff667ea05d0807b4e6512c92914ae517b9ec755 after also registering the patch in 'gnu/local.mk' (I had overlooked this previously).
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |