devel/shards: Update to 0.17.2
Changes: https://github.com/crystal-lang/shards/releases/tag/v0.17.2
Description
Description
Details
Details
- Provenance
dmgk Authored on Jan 4 2023, 12:05 PM - Parents
- R11:76810a270cfe: lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5
- Branches
- Unknown
- Tags