Commit Graph

3 Commits

Author SHA1 Message Date
Profpatsch
805358c8ec .github: remove nix channel, is fetched explicitly 2020-11-30 22:53:17 +01: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
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