diff options
| author | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-08 23:23:15 +0800 |
|---|---|---|
| committer | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-09 01:02:59 +0800 |
| commit | c7a0f441591de8b3ee0adc09c70146319e79dc93 (patch) | |
| tree | eb8ce4f0462486aa5c4ed687ff21e3111e2660f1 /Changelog.md | |
| parent | 9b4546c487bc59e790716a11531e660110ca81e9 (diff) | |
| download | dexon-solidity-c7a0f441591de8b3ee0adc09c70146319e79dc93.tar.gz dexon-solidity-c7a0f441591de8b3ee0adc09c70146319e79dc93.tar.zst dexon-solidity-c7a0f441591de8b3ee0adc09c70146319e79dc93.zip | |
Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.
Diffstat (limited to 'Changelog.md')
0 files changed, 0 insertions, 0 deletions