diff options
| author | Sören Tempel <soeren@soeren-tempel.net> | 2024-07-11 23:27:13 +0200 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2024-07-13 09:59:17 -0500 |
| commit | 0114007bf3e548d7bc1e22adafc89799f8255da9 (patch) | |
| tree | f38eea805e206866a426d1ba0c565774241b3673 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
| parent | 13369ba7cae78742e261ff0b79e149b8db37c554 (diff) | |
gnu: Add python-mulpyplexer.
* gnu/packages/python-xyz.scm (python-mulpyplexer): New variable.
Signed-off-by: jgart <jgart@dismail.de>
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions