diff options
| author | 宋文武 <[email protected]> | 2025-01-30 18:45:47 +0800 |
|---|---|---|
| committer | 宋文武 <[email protected]> | 2025-02-02 14:42:40 +0800 |
| commit | 284a9c3d7d0f42a7952031463b4c99b78ce17c80 (patch) | |
| tree | fd463a4d0eecc7abc1641ef5aac606553e14f19f /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | a13af93b53e04a5538e7e1222644bcb913fd5646 (diff) | |
gnu: taisei: Update to 1.4.2.
* gnu/packages/games.scm (taisei): Update to 1.4.2.
[arguments]: Adjust configure-flags.
Change-Id: I3bb55fe1c17c55145832196007ec7ad195d71520
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions