Commit graph

9 commits

Author SHA1 Message Date
Profpatsch
796cbb6374 Update to 1.36.0
ran ./fetch.py
2020-11-06 11:58:48 +01:00
Fabrizio Ferrai
eb1297af3e Update to dhall-1.35 2020-09-11 22:50:07 +03:00
Profpatsch
27328f4731 Update to 1.34.0 2020-08-04 21:22:12 +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
Peter Trško
d15b593628 Update to 1.33.1 2020-07-03 09:20:24 +01:00
justinwoo
5bd98d2959 fix sha for dhall releases??? 2020-05-24 21:11:20 +03:00
Profpatsch
56bd5b6507 Update to 1.32.0 2020-05-09 20:02:04 +02:00
Fabrizio Ferrai
1698c83a36 Update to 1.31.1 2020-04-04 10:42:07 +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