kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
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