7 commits

Author	SHA1	Message	Date
Profpatsch	f0270205ee	feat(build): allow multiple binaries ... I gave in because I wanted to use yaml-to-dhall, so this implements copying multiple binaries.	2020-08-04 23:06:03 +02:00
Profpatsch	5b7632cbc4	fix(dhall-to-yaml-ng): fix completion ... The completion was pointing to an executable that did not exist in that output, the suffix `-ng` was missing.	2020-08-04 21:30:56 +02:00
Profpatsch	e207b5c2c6	refactor(dhall-*): put common parts into build.nix ... The files are very self-similar, and provided upstream doesn’t do something completely crazy, they should stay that way. dhall-json is more complicated, and it wasn’t worth it implemented something more complicated in build.nix, so for now it stays the same.	2020-08-04 21:30:56 +02:00
aszlig	65a30e2c0c	Switch to using fetchzip instead of fetchurl ... GitHub's source tarballs are created in a non-deterministic way and the order the entries are added is not stable. In nixpkgs, there is fetchFromGitHub which works around this issue by being a wrapper around fetchzip and since we're already using the full URL to the corresponding GitHub archives, I switched to fetchzip instead to keep the changes minimal. Signed-off-by: aszlig <aszlig@nix.build>	2020-07-12 20:42:28 +02:00
Profpatsch	b8267b1988	update 1.31 ... Use the `fetch.py` script to update to dhall 1.31 and add some instructions on how to do it.	2020-03-29 22:29:08 +02:00
Peter Trsko	cead668b72	Update to 1.30	2020-02-19 11:26:39 +00:00
James Carey	e181280124	add dhall-to-yaml-ng	2020-01-24 14:48:58 +00:00