diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-09-24 21:50:50 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-09-25 00:56:39 +0100 |
| commit | 9a3a83b4aada7660487d5aeebe03078610e39c0b (patch) | |
| tree | 0e51766dc6d2b7bbed9442236b73cab704c2b156 | |
| parent | cb77b0da1bec19a1ebdaba30135cb9ccb7780f0a (diff) | |
gnu: python-telingo: Fix tests.
* gnu/packages/potassco.scm (python-telingo)
[source]: Run guix style.
[native-inputs]: Add python-pytest, remove python-wheel.
Change-Id: Ie20e81780ac715f63fb4485e19a5e28b5a7ef579
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
| -rw-r--r-- | gnu/packages/potassco.scm | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index e7fc1db2f7..9df5a8d5af 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -699,18 +699,18 @@ the most probable model as well as finding all models and their probabilities.") (package (name "python-telingo") (version "2.1.3") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/potassco/telingo") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/potassco/telingo") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1q6hlh4b5hsa4n5agvmfa9rhsxfd2g6kpl4b9kfccwbmf6dh51k6")))) (build-system pyproject-build-system) (propagated-inputs (list python-clingo)) - (native-inputs (list python-setuptools python-wheel)) + (native-inputs (list python-pytest python-setuptools)) (home-page "https://potassco.org/") (synopsis "Solve dynamic temporal logic programs") (description "This package provides a system to solve dynamic temporal |