Commit graph

19 commits

Author SHA1 Message Date
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
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
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