From fe0b1aea1fd02809043d8c0793088bb8b3db2cea Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Fri, 29 Nov 2024 08:31:31 +0100 Subject: gnu: Add python-clingexplaid. * gnu/packages/potassco.scm (python-clingexplaid): New variable. --- gnu/packages/potassco.scm | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) (limited to 'gnu') diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index ec990f1382..57caf6aabc 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -756,3 +756,36 @@ but also works fine along custom-built test. Clintest monitors the test outcome while solving to abort the search for solutions once the outcome is certain.") (license license:expat))) + +(define-public python-clingexplaid + (package + (name "python-clingexplaid") + (version "1.1.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/clingo-explaid") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1s80cs3clvz26r7cvjprlk6zip7yqswwhzzwmmrv5mf5p89ymrgm")))) + (build-system pyproject-build-system) + (arguments + (list #:test-flags #~(list "-k" "not test_main") + #:phases #~(modify-phases %standard-phases + (add-after 'unpack 'fix-pyproject-toml + (lambda _ + (substitute* "pyproject.toml" + (("dynamic = .*" all) + (string-append "version = \"" + #$version + "\"\n")) + (("\"autoflake\",") ""))))))) + (propagated-inputs (list python-clingo)) + (native-inputs (list python-pytest)) + (home-page "https://github.com/potassco/clingo-explaid") + (synopsis "Develop explanation systems with Clingo") + (description "This package provides tools to develop explanation systems +with clingo. It allows extracting minimal unsatisfiable subsets and +unsatisfiable constraints.") + (license license:expat))) -- cgit v1.2.3 297d975efd07e7819f671c14856fd0778870e'>root/gnu/packages/patches/akonadi-paths.patch
AgeCommit message (Expand)Author
2020-06-06gnu: KDE: Update to 20.04.1....* gnu/packages/patches/akonadi-paths.patch: Adjust for upstream changes. * gnu/packages/patches/kdepim-runtime-Fix-missing-link-libraries.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Adjust accordingly. * gnu/packages/kde-internet.scm (kget, kopete, krdc, libgravatar): Update to 20.04.1. [source](uri): Adjust for new upstream location. * gnu/packages/kde-multimedia.scm (audiocd-kio, dragon, ffmpegthumbs, juk, k3b, kamoso, kmix, kwave, libkcddb, libkcompactdisc): Likewise. * gnu/packages/kde-systemtools.scm (dolphin, dolphin-plugins, khelpcenter, konsole, krfb, ksystemlog): Update to 20.04.1. [source](uri): Adjust for new upstream location. * gnu/packages/kde-utils.scm (kate, kmag, kmousetool, kmouth, sweeper): Update to 20.04.1. [source](uri): Adjust for new upstream location. * gnu/packages/kde.scm (baloo-widgets, libkomparediff2, kqtquickcharts, grantleetheme, kcachegrind, libkdegames, zeroconf-ioslave): Update to 20.04.1. [source](uri): Adjust for new upstream location. (grantleetheme)[inputs]: Add KGUIADDONS. * gnu/packages/kde-pim.scm (akonadi, akonadi-calendar, akonadi-contacts, akonadi-mime, akonadi-notes, akonadi-search, kincidenceeditor, kaddressbook, kalarmcal, kblog, kcalendarsupport, kcalutils, kdav, kdepim-apps-libs, kdepim-runtime, keventviews, kgpg, kidentitymanagement, kimap, kldap, kleopatra, kmail, kmailcommon, kmailimporter, kmailtransport, kmbox, kmessagelib, kmime, knotes, kontactinterface, korganizer, kpimcommon, kpimtextedit, ksmtp, ktnef, libkdepim, libkgapi, libkleo, libksieve): Update to 20.04.1. [source](uri): Adjust to current. (akonadi)[inputs]: Remove KDBUSADDONS and KDESIGNERPLUGIN. (akonadi-calendar)[inputs]: Remove KDBUSADDONS. (kdepim-runtime)[source](patches): Remove. [arguments]: Add phase 'extend-CPLUS_INCLUDE_PATH'. [inputs]: Remove KDBUSADDONS and KICONTHEMES. (kmessagelib)[arguments]: Add phase 'extend-CPLUS_INCLUDE_PATH. [inputs]: Add QCA. (kdepim-apps-libs)[inputs]: Remove KDBUSADDONS and KICONTHEMES. (knotes)[inputs]: Remove KDBUSADDONS. (kpimcommon)[inputs]: Remove KDBUSADDONS and KCOMPLETION. (libksieve)[arguments]: Disable one more test. (korganizer)[arguments]: Disable one test. Marius Bakke