emacs-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#40557: closed ([PATCH] Add dhall.)

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,

John

Attachment: 0001-gnu-Add-ghc-inspection-testing.patch
Description: Text Data

Attachment: 0002-gnu-Add-ghc-data-fix.patch
Description: Text Data

Attachment: 0003-gnu-Add-ghc-cborg.patch
Description: Text Data

Attachment: 0004-gnu-Add-ghc-cborg-json.patch
Description: Text Data

Attachment: 0005-gnu-Add-ghc-dotgen.patch
Description: Text Data

Attachment: 0006-gnu-Add-ghc-generic-random.patch
Description: Text Data

Attachment: 0007-gnu-Add-ghc-text-manipulate.patch
Description: Text Data

Attachment: 0008-gnu-Add-ghc-spoon.patch
Description: Text Data

Attachment: 0009-gnu-Add-ghc-special-values.patch
Description: Text Data

Attachment: 0010-gnu-Add-ghc-serialise.patch
Description: Text Data

Attachment: 0011-gnu-Add-ghc-pretty-simple.patch
Description: Text Data

Attachment: 0012-gnu-Add-ghc-pgp-wordlist.patch
Description: Text Data

Attachment: 0013-gnu-Add-ghc-optional-args.patch
Description: Text Data

Attachment: 0014-gnu-Add-ghc-turtle.patch
Description: Text Data

Attachment: 0015-gnu-Add-ghc-managed.patch
Description: Text Data

Attachment: 0016-gnu-Add-ghc-lens-family-core.patch
Description: Text Data

Attachment: 0017-gnu-Add-ghc-prettyprinter.patch
Description: Text Data

Attachment: 0018-gnu-Add-ghc-repline.patch
Description: Text Data

Attachment: 0019-gnu-Add-ghc-haskeline-0.8.patch
Description: Text Data

Attachment: 0020-gnu-Add-ghc-repline-0.3.patch
Description: Text Data

Attachment: 0021-gnu-Add-ghc-prettyprinter-1.6.patch
Description: Text Data

Attachment: 0022-gnu-Add-ghc-prettyprinter-ansi-terminal.patch
Description: Text Data

Attachment: 0023-gnu-Add-ghc-generic-random-1.3.0.1.patch
Description: Text Data

Attachment: 0024-gnu-Add-ghc-atomic-write-0.2.0.7.patch
Description: Text Data

Attachment: 0025-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 ---
reply via email to
[Prev in Thread] Current Thread [Next in Thread]