Age | Commit message (Expand) | Author |
2024-09-08 | Add some missing header comment header comments....* 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
| Tobias Geerinckx-Rice |
2024-05-06 | 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
| Efraim Flashner |
2024-05-06 | gnu: solidity: Allow a newer version of jsoncpp....* gnu/packages/solidity.scm (solidity)[arguments]: Add a phase to allow
newer versions of jsoncpp.
Change-Id: I4f7b5b3685f8d784da221ccb0eea1ba297e3e0b8
| Efraim Flashner |
2022-11-06 | gnu: fmt-for-solidity: Rename to fmt-8.0....* gnu/packages/pretty-print.scm (fmt-for-solidity): Rename to...
(fmt-8.0): ... this.
(fmt-for-irods): Rename to...
(fmt-6): ... this.
* gnu/packages/solidity.scm (solidity): Adjust accordingly.
* gnu/packages/irods.scm (irods, irods-client-icommands): Likewise.
| Maxim Cournoyer |