Yuri Victorovich 76810a270c lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5		2023-01-04 03:50:54 -08:00
..
files
distinfo
Makefile	lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5	2023-01-04 03:50:54 -08:00
pkg-descr