[bug#44433] [PATCH 0/3] gnu: Add solidity.

[Martin Becze]

This adds the Solidity compiler. It also updates Z3 and jsoncpp to versions
needed by Solidity. I tested rebuilding quite a few packages that jsoncpp is a
dependent of but I am not sure how to tests them all.

Martin Becze (3):
  gnu: jsoncpp: Update to 1.9.4
  gnu: z3: Update to 4.8.9.
  gnu: Add solidity.

 gnu/local.mk                                  |  2 +-
 gnu/packages/maths.scm                        |  5 +-
 .../patches/jsoncpp-fix-inverted-case.patch   | 22 -----
 gnu/packages/serialization.scm                |  6 +-
 gnu/packages/solidity.scm                     | 88 +++++++++++++++++++
 5 files changed, 95 insertions(+), 28 deletions(-)
 delete mode 100644 gnu/packages/patches/jsoncpp-fix-inverted-case.patch
 create mode 100644 gnu/packages/solidity.scm

-- 
2.29.1