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