diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-10-30 23:03:25 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-10-31 10:43:59 +0800 |
| commit | ec1dffc2c13fbcef821504be9be469fc9ee42659 (patch) | |
| tree | 34a6a7c9b1c13e3ff47981e2f6a020f9a2e30317 /NEWS | |
| parent | 142be256d43bb596c328cfe4038d5f8528842467 (diff) | |
| download | guix-ec1dffc2c13fbcef821504be9be469fc9ee42659.tar.gz guix-ec1dffc2c13fbcef821504be9be469fc9ee42659.zip | |
gnu: boolector: Fix build.
gnu/packages/maths.scm (boolector)[inputs]: Add gmp.
Change-Id: I008360baed99d02d55bff76d683136ff505e2742
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions