alt-ergo: fix src URL
This commit is contained in:
parent
663c41affd
commit
ffe1ba8985
|
@ -9,8 +9,8 @@ let
|
|||
src = fetchFromGitHub {
|
||||
owner = "OCamlPro";
|
||||
repo = pname;
|
||||
rev = version;
|
||||
sha256 = "sha256-8pJ/1UAbheQaLFs5Uubmmf5D0oFJiPxF6e2WTZgRyAc=";
|
||||
rev = "refs/tags/${version}";
|
||||
hash = "sha256-8pJ/1UAbheQaLFs5Uubmmf5D0oFJiPxF6e2WTZgRyAc=";
|
||||
};
|
||||
in
|
||||
|
||||
|
|
Loading…
Reference in a new issue