diff options
author | Herman Rimm <herman@rimm.ee> | 2024-02-18 22:08:12 +0100 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2024-07-19 00:43:35 +0300 |
commit | a767c98c6f6e0a876f31d4697a53fe41730ad596 (patch) | |
tree | a13407bd9e0e938e63fe37d4ce58e14c94b2e8a6 /gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch | |
parent | 221756d0cdaf5bbd760e852bc55f8dcbf998cccd (diff) |
gnu: Add rust-deadpool-0.9.
* gnu/packages/crates-io.scm (rust-deadpool-0.9): Add variable.
(rust-deadpool-0.7): Inherit from rust-deadpool-0.9.
Change-Id: I8aee483f5a9e8e7d0a1c11c1452809a957b40e72
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/patches/python-pysmt-fix-smtlib-serialization-test.patch')
0 files changed, 0 insertions, 0 deletions