Search Criteria
Package Details: solidity 0.8.23-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/solidity.git (read-only, click to copy) |
---|---|
Package Base: | solidity |
Description: | Contract-Oriented Programming Language |
Upstream URL: | https://github.com/ethereum/solidity |
Keywords: | blockchain ethereum |
Licenses: | GPL3 |
Submitter: | arojas |
Maintainer: | phnx47 |
Last Packager: | phnx47 |
Votes: | 3 |
Popularity: | 0.052463 |
First Submitted: | 2023-04-01 17:35 (UTC) |
Last Updated: | 2023-11-08 18:14 (UTC) |
Dependencies (5)
- gcc-libs (gccrs-libs-gitAUR, gcc-libs-gitAUR, gcc11-libsAUR)
- boost (boost-gitAUR) (make)
- cmake (cmake-gitAUR) (make)
- cvc4 (cvc4-gitAUR) (optional) – SMT checker
- z3 (z3-javaAUR, z3-gitAUR) (optional) – SMT checker