1 files changed, 6 insertions, 7 deletions
diff --git a/nixpkgs/pkgs/tools/misc/aspcud/default.nix b/nixpkgs/pkgs/tools/misc/aspcud/default.nix
index 12cc6572abcb..e3f75693803c 100644
--- a/nixpkgs/pkgs/tools/misc/aspcud/default.nix
+++ b/nixpkgs/pkgs/tools/misc/aspcud/default.nix
@@ -3,21 +3,20 @@
 , fetchFromGitHub
 , boost
 , catch2
-, clasp
 , cmake
-, gringo
+, clingo
 , re2c
 }:
 
 stdenv.mkDerivation rec {
-  version = "1.9.5";
+  version = "1.9.6";
   pname = "aspcud";
 
   src = fetchFromGitHub {
     owner = "potassco";
     repo = "aspcud";
     rev = "v${version}";
-    hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw=";
+    hash = "sha256-PdRfpmH7zF5dn+feoijtzdSUjaYhjHwyAUfuYoWCL9E=";
   };
 
   postPatch = ''
@@ -25,12 +24,12 @@ stdenv.mkDerivation rec {
   '';
 
   nativeBuildInputs = [ cmake ];
-  buildInputs = [ boost clasp gringo re2c ];
+  buildInputs = [ boost clingo re2c ];
 
   cmakeFlags = [
     "-DCMAKE_BUILD_TYPE=Release"
-    "-DASPCUD_GRINGO_PATH=${gringo}/bin/gringo"
-    "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp"
+    "-DASPCUD_GRINGO_PATH=${clingo}/bin/gringo"
+    "-DASPCUD_CLASP_PATH=${clingo}/bin/clasp"
   ];
 
   doCheck = true;