diff options
Diffstat (limited to 'pkgs/applications/science/logic/potassco/clingo.nix')
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingo.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingo.nix b/pkgs/applications/science/logic/potassco/clingo.nix index 3186acf1508..754e12c03ee 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="; }; |