111 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
justinwoo	5bd98d2959	fix sha for dhall releases???	2020-05-24 21:11:20 +03:00
Justin Woo	27edaa0c76	Merge pull request #24 from Profpatsch/master ... Update to 1.32.0	2020-05-09 21:09:45 +03:00
Profpatsch	56bd5b6507	Update to 1.32.0	2020-05-09 20:02:04 +02:00
Justin Woo	35bca5ba56	Merge pull request #22 from spacchetti/update-1.31.1 ... Update to 1.31.1	2020-04-04 12:53:43 +02:00
Fabrizio Ferrai	1698c83a36	Update to 1.31.1	2020-04-04 10:42:07 +02:00
Profpatsch	45f165d127	Merge pull request #21 from Profpatsch/master ... dhall-json-simple: add json-to-dhall and dhall-yaml	2020-03-31 02:07:12 +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	aa9db8eb24	Merge pull request #20 from Profpatsch/master ... Add fetcher script and update to dhall 1.31.0	2020-03-30 23:32:40 +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
Profpatsch	fd60026375	Add fetch.py, for auto-updating to the newest version ... A small python script, which nix-prefetch-url’s the latest dhall-haskell release and puts it in a json file.	2020-03-29 22:29:08 +02:00
Justin Woo	c86e600983	Merge pull request #19 from jhenahan/add-lsp ... Dhall LSP releases	2020-03-27 17:39:04 +01:00
Jack Henahan	e758f79ae2	Dhall LSP releases	2020-03-27 11:32:53 -04:00
Peter Trško	4f6da8c7e7	Merge pull request #18 from trskop/master ... Update to 1.30	2020-02-19 11:34:34 +00:00
Peter Trsko	cead668b72	Update to 1.30	2020-02-19 11:26:39 +00:00
justinwoo	735ad924fd	dhall yaml binary name was changed for some reason	2020-02-05 21:59:39 +02:00
Justin Woo	29769888e2	Merge pull request #17 from bluekezza/master ... add dhall-to-yaml-ng	2020-01-24 18:29:39 +02:00
James Carey	e181280124	add dhall-to-yaml-ng	2020-01-24 14:48:58 +00:00
Justin Woo	1aa3b306e4	Merge pull request #16 from trskop/master ... Update to 1.29	2020-01-14 18:18:39 +02:00
Peter Trsko	05bd43e7c3	Update to 1.29	2020-01-14 16:08:17 +00:00
Justin Woo	7e063af9bd	Merge pull request #15 from justinwoo/1.28 ... update 1.28	2019-12-19 14:09:51 +09:00
justinwoo	af82f8a0fa	wtf osx	2019-12-19 14:07:49 +09:00
justinwoo	ab53c99562	update 1.28	2019-12-19 14:04:31 +09:00
Justin Woo	e0b4e37a6e	Merge pull request #14 from justinwoo/1.27.0 ... update to 1.27.0	2019-10-21 12:52:57 +03:00
justinwoo	eb6737b18a	update to 1.27.0	2019-10-21 12:43:09 +03:00
Justin Woo	9c4397c3af	Merge pull request #13 from justinwoo/dhall-1.26.1 ... update dhall	2019-09-27 12:00:55 -04:00
justinwoo	065d6fed93	update dhall	2019-09-27 11:57:00 -04:00
Justin Woo	01844fa08e	Merge pull request #12 from justinwoo/dont-run-darwin ... don't run dhall-nix on osx	2019-09-24 12:14:21 -04:00
justinwoo	69ef04b13d	don't run dhall-nix on osx	2019-09-24 12:14:11 -04:00
Justin Woo	4824436328	Merge pull request #11 from Profpatsch/master ... add dhall-to-nix	2019-09-24 11:03:45 -04:00
Profpatsch	f010b081fb	add dhall-to-nix	2019-09-24 16:22:05 +02:00
Justin Woo	d8043ca5c4	Merge pull request #10 from justinwoo/upgrade ... upgrade versions	2019-09-12 16:52:43 +03:00
justinwoo	deafd989a0	upgrade versions	2019-09-12 16:50:36 +03:00
Justin Woo	14f7e92921	Merge pull request #8 from justinwoo/dhall-json ... add dhall json	2019-08-19 11:20:09 +03:00
justinwoo	de2b7839ae	add dhall json ... apparently this is not yet merged into dhall itself	2019-08-19 11:00:51 +03:00
Justin Woo	0930101f28	Merge pull request #7 from justinwoo/workflow ... use github actions workflow	2019-08-18 15:57:15 +03:00
justinwoo	e910fa2c9d	use github actions workflow	2019-08-18 15:55:18 +03:00
Justin Woo	de5dfc71ce	Merge pull request #6 from jhenahan/patch-1 ... Add src for Darwin builds. Fixes #5.	2019-08-07 17:57:30 +03:00
Jack Henahan	21e4726e7a	Add src for Darwin builds. Fixes #5.	2019-08-07 10:22:38 -04:00
justinwoo	83158cb4bb	fix shell setup with lorri	2019-08-04 16:00:07 +02:00
justinwoo	7dc086decb	fix derivations missing usages of pkgs	2019-08-03 23:38:20 +02:00
Justin Woo	1f0f602adb	Merge pull request #4 from justinwoo/updates ... update 1.25	2019-07-29 23:35:43 +03: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
Justin Woo	5b0470e374	Merge pull request #3 from justinwoo/updates ... updates	2019-03-07 17:26:40 +02:00
justinwoo	270cb702ba	updates	2019-03-07 17:20:10 +02:00
Justin Woo	725fdd1402	Merge pull request #2 from justinwoo/updates ... update	2019-02-17 20:07:07 +02:00
justinwoo	80e7693a94	update	2019-02-09 12:15:00 +02:00