Efraim Flashner 5a69a52d74 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

2024-05-06 23:16:53 +03:00

2.9 KiB

Raw Blame History

View Raw