diff --git a/pkgs/applications/science/logic/potassco/clingo.nix b/pkgs/applications/science/logic/potassco/clingo.nix index 3186acf15081..754e12c03eea 100644 --- a/pkgs/applications/science/logic/potassco/clingo.nix +++ b/pkgs/applications/science/logic/potassco/clingo.nix @@ -1,11 +1,13 @@ -{ lib, stdenv, fetchzip, cmake }: +{ lib, stdenv, fetchFromGitHub, cmake }: stdenv.mkDerivation rec { pname = "clingo"; version = "5.5.1"; - src = fetchzip { - url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz"; + src = fetchFromGitHub { + owner = "potassco"; + repo = "clingo"; + rev = "v${version}"; sha256 = "sha256-KBCwGNkz5HqbgXbDxPVcqxMXC8B2+wRI8eZVVXMVpLI="; };