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