mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-11 02:50:24 +00:00
Code Issues Releases Activity
1b249de0a6
freebsd-ports/lang/solidity
History
Alex Dupre b597b7a0e0 Update to 0.5.4 release and enable CVC4 SMT Checker by default.
2019-02-14 08:06:47 +00:00
..
files Update to 0.5.2 release. 2019-01-18 15:53:16 +00:00
distinfo Update to 0.5.4 release and enable CVC4 SMT Checker by default. 2019-02-14 08:06:47 +00:00
Makefile Update to 0.5.4 release and enable CVC4 SMT Checker by default. 2019-02-14 08:06:47 +00:00
pkg-descr