diff options
| author | 宋文武 <[email protected]> | 2025-01-30 19:55:54 +0800 |
|---|---|---|
| committer | 宋文武 <[email protected]> | 2025-02-02 14:41:46 +0800 |
| commit | a13af93b53e04a5538e7e1222644bcb913fd5646 (patch) | |
| tree | a86bcb9ce3caa736ed1cabcfe323f00947a9ebee /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | 66ee8de7522be7b47a74eaf0e199298049efb749 (diff) | |
gnu: perl-sdl: Fix build.
* gnu/packages/perl.scm (perl-sdl)[arguments]: Add 'skip-failing-test phase.
Change-Id: I44627e1d19a4a4d37f7b2663738cde2f0dc598ee
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions