Unverified Commit cab9de2e authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

Merge pull request #289930 from r-ryantm/auto-update/clingo 

clingo: 5.7.0 -> 5.7.1
parents 792a888e acb4c808

pkgs/applications/science/logic/potassco/clingo.nix

+2 −2
Original line number Diff line number Diff line
@@ -2,13 +2,13 @@ 


stdenv.mkDerivation rec {

  pname = "clingo";

  version = "5.7.0";

  version = "5.7.1";



  src = fetchFromGitHub {

    owner = "potassco";

    repo = "clingo";

    rev = "v${version}";

    sha256 = "sha256-mXexFRPC/+5mNRVZqzsLJKiRkKA009OQrEhOAg8M38k=";

    sha256 = "sha256-S0JAfMwg49aryKABbC/2oLCEkndVpMVcFE6X0vkbtNc=";

  };



  nativeBuildInputs = [ cmake ];