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	lang/solidity: update to 0.8.16 release.	2022-08-13 17:36:11 +02:00
distinfo	labg/solidity: update to 0.8.17 and fix build on i386	2022-09-09 12:53:53 +02:00
Makefile	lang/solidity: Disable CVC4 option because the project doesn't yet support CVC5	2023-01-04 03:50:54 -08:00
pkg-descr	Remove WWW entries moved into port Makefiles	2022-09-07 23:58:51 +02:00