summary refs log tree commit diff
path: root/pkgs/applications/science/logic/potassco/clingo.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/applications/science/logic/potassco/clingo.nix')
-rw-r--r--pkgs/applications/science/logic/potassco/clingo.nix8
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=";
   };