21 commits

Author	SHA1	Message	Date
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	dd4e3f6c36	dhall-json-simple: add json-to-dhall and dhall-yaml ... There’s more stuff now. Maybe we should have a check that we don’t miss when they add binaries?	2020-03-31 00:13:53 +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
Peter Trsko	05bd43e7c3	Update to 1.29	2020-01-14 16:08:17 +00:00
justinwoo	ab53c99562	update 1.28	2019-12-19 14:04:31 +09:00
justinwoo	eb6737b18a	update to 1.27.0	2019-10-21 12:43:09 +03:00
justinwoo	065d6fed93	update dhall	2019-09-27 11:57:00 -04:00
justinwoo	deafd989a0	upgrade versions	2019-09-12 16:50:36 +03:00
justinwoo	de2b7839ae	add dhall json ... apparently this is not yet merged into dhall itself	2019-08-19 11:00:51 +03:00
justinwoo	e910fa2c9d	use github actions workflow	2019-08-18 15:55:18 +03:00
Jack Henahan	21e4726e7a	Add src for Darwin builds. Fixes #5.	2019-08-07 10:22:38 -04:00
justinwoo	662ed9c918	update 1.25	2019-07-29 23:33:35 +03:00
justinwoo	b4736f4496	update to 1.24.0	2019-06-17 11:03:06 +02:00
justinwoo	0ebdec46cb	update to 1.23.0	2019-06-02 09:24:12 +02:00
justinwoo	56b2c0bdbd	update to 1.23.0	2019-06-02 09:22:00 +02:00
justinwoo	d49cdc77be	update to 1.22.0	2019-05-01 01:02:38 -07:00
justinwoo	270cb702ba	updates	2019-03-07 17:20:10 +02:00
justinwoo	80e7693a94	update	2019-02-09 12:15:00 +02:00
justinwoo	b91b89e466	bash completions for dhall executables	2018-12-12 15:53:19 +02:00
justinwoo	87406a7640	init	2018-12-08 14:37:12 +02:00