diff options
| author | Felix Buehler <account@buehler.rocks> | 2022-01-07 17:09:23 +0100 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2022-01-08 15:38:10 +0100 |
| commit | 317db0f19fbc320789411958021ffac1daca5ac4 (patch) | |
| tree | 43ae8205787c71fa30db9c869dce4681eaef674f | |
| parent | fsharp: switch to fetchFromGitHub (diff) | |
| download | nixpkgs-317db0f19fbc320789411958021ffac1daca5ac4.tar.gz | |
mosml: switch to fetchFromGitHub
| -rw-r--r-- | pkgs/development/compilers/mosml/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/compilers/mosml/default.nix b/pkgs/development/compilers/mosml/default.nix index e7dc9ceae6d9..44ed1185fafc 100644 --- a/pkgs/development/compilers/mosml/default.nix +++ b/pkgs/development/compilers/mosml/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchurl, gmp, perl }: +{ lib, stdenv, fetchFromGitHub, gmp, perl }: stdenv.mkDerivation rec { pname = "mosml"; @@ -8,9 +8,11 @@ stdenv.mkDerivation rec { makeFlags = [ "PREFIX=$(out)" "CC=${stdenv.cc.targetPrefix}cc" ]; - src = fetchurl { - url = "https://github.com/kfl/mosml/archive/ver-${version}.tar.gz"; - sha256 = "13x7wj94p0inn84pzpj52dch5s9lznqrj287bd3nk3dqd0v3kmgy"; + src = fetchFromGitHub { + owner = "kfl"; + repo = "mosml"; + rev = "ver-${version}"; + sha256 = "sha256-GK39WvM7NNhoC5f0Wjy4/5VWT+Rbh2qo+W71hWrbPso="; }; setSourceRoot = ''export sourceRoot="$(echo */src)"''; |