summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
diff options
context:
space:
mode:
authorRostislav Svoboda <[email protected]>2025-01-23 03:10:35 +0100
committer宋文武 <[email protected]>2025-02-02 14:46:38 +0800
commitb85db5febc090ab3667bc7b847b89852f6ede935 (patch)
tree221dfa60355cce45c05df4ccbb104a8d24866c74 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch
parent284a9c3d7d0f42a7952031463b4c99b78ce17c80 (diff)
gnu: ausweisapp: Update to 2.2.2, improve description.
* gnu/packages/security-token.scm (ausweisapp): Update to 2.2.2. [description]: Mention pcscd service. Change-Id: I7fc571ab3126eb389599b2d35bba4355b9b19e90 Signed-off-by: 宋文武 <[email protected]>
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions