bartronx7/guix
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-01-25 12:05:19 -06:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: python-telingo: Fix tests.

Browse source 
* 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>
This commit is contained in:
Nicolas Graves 2025-09-24 21:50:50 +02:00 • committed by Sharlatan Hellseher
parent cf67c48303
commit 3a98b3f41a
No known key found for this signature in database
GPG key ID: 76D727BFF62CD2B5
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
gnu/packages/potassco.scm
View file

@ -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