diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-05-06 17:41:07 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-05-06 23:16:53 +0300 |
| commit | 5a69a52d746bb542ee70088679a9b3747182b89a (patch) | |
| tree | bb745eae96103d74a90a89ff023c6edb47014186 /gnu/build/dbus-service.scm | |
| parent | 614bd4a7772e665857d41eacfd7ff5ab2e981553 (diff) | |
| download | guix-5a69a52d746bb542ee70088679a9b3747182b89a.tar.gz guix-5a69a52d746bb542ee70088679a9b3747182b89a.zip | |
gnu: solidity: Update to 0.8.25.
* gnu/packages/solidity.scm (solidity): Update to 0.8.25.
[arguments]: Add configure-flag to allow an older version of z3.
[inputs]: Replace fmt-8.0 with fmt.
Change-Id: I1501d16323566c066c58c1c4bbf90dd17a23f021
Diffstat (limited to 'gnu/build/dbus-service.scm')
0 files changed, 0 insertions, 0 deletions