Commit graph

63 commits

Author SHA1 Message Date
Peter Trško
d15b593628 Update to 1.33.1 2020-07-03 09:20:24 +01:00
Justin Woo
62f6ab3eec
Merge pull request #25 from justinwoo/fix-sha
fix sha for dhall releases???
2020-05-24 21:17:36 +03:00
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