Age | Commit message (Collapse) | Author |
|
* gnu/packages/minetest.scm: Add the ‘GNU Guix’ header comment.
* gnu/packages/notcurses.scm: Likewise.
* gnu/packages/presentation.scm: Likewise.
* gnu/packages/solidity.scm: Likewise.
* guix/build/minetest-build-system.scm: Likewise.
* gnu/packages/vnc.scm: Add missing ‘;’.
* guix/scripts/import/crate.scm: Remove leading newline.
Change-Id: I5294e6067b9348f2929d823a07d4ec335eaa5ecd
|
|
* 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
|
|
* gnu/packages/solidity.scm (solidity)[arguments]: Add a phase to allow
newer versions of jsoncpp.
Change-Id: I4f7b5b3685f8d784da221ccb0eea1ba297e3e0b8
|