v1.2.3'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/solidity.scm
AgeCommit message (Expand)Author
2024-09-08Add 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-06gnu: 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-06gnu: 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-06gnu: 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