2022-11-11T09:08:57 clingo 5.6.1 -> 5.6.2 https://repology.org/metapackage/clingo/versions
2022-11-11T09:09:00 attrpath: clingo
2022-11-11T09:09:01 Checking auto update branch...
2022-11-11T09:09:01 No auto update branch exists
2022-11-11T09:09:01 Old version 5.6.1" not present in master derivation file with contents: { lib, stdenv, fetchFromGitHub, cmake }:

stdenv.mkDerivation rec {
  pname = "clingo";
  version = "5.6.2";

  src = fetchFromGitHub {
    owner = "potassco";
    repo = "clingo";
    rev = "v${version}";
    sha256 = "sha256-2vOscD5jengY3z9gHoY9y9y6RLfdzUj7BNKLyppNRac=";
  };

  nativeBuildInputs = [ cmake ];

  cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ];

  meta = {
    description = "ASP system to ground and solve logic programs";
    license = lib.licenses.mit;
    maintainers = [lib.maintainers.raskin];
    platforms = lib.platforms.unix;
    homepage = "https://potassco.org/";
    downloadPage = "https://github.com/potassco/clingo/releases/";
  };
}