diff options
| author | Julius Huelsmann <huelsmann@campus.tu-berlin.de> | 2018-05-17 18:07:33 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-05-17 20:39:12 +0800 |
| commit | 4690f837e0389cff5f11a320a08aeb54d752f087 (patch) | |
| tree | c04704a5ad4ad9f8712a6a01adb5d13edb7c014b /libsolidity/analysis | |
| parent | 0fdb226fd8d352f6b2b84e3efc61cd674e93ab1b (diff) | |
| download | dexon-solidity-4690f837e0389cff5f11a320a08aeb54d752f087.tar.gz dexon-solidity-4690f837e0389cff5f11a320a08aeb54d752f087.tar.zst dexon-solidity-4690f837e0389cff5f11a320a08aeb54d752f087.zip | |
Fix install_deps.sh script for Arch Linux.
Also added cvc4 as dependency.
Diffstat (limited to 'libsolidity/analysis')
0 files changed, 0 insertions, 0 deletions