MD5 (props-1.0.tar.gz) = 5101b277c26dcfc368b23f65c79c6fc7 sheet' type='text/css' href='/~lantw44/cgit-data/cgit.css'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/lang/solidity
Commit message (Expand)AuthorAgeFilesLines
* Update to 0.6.2 release and enable all SMT solvers by default.Alex Dupre2020-01-284-15/+14
* devel/jsoncpp: Update 1.8.1 -> 1.9.2Yuri Victorovich2020-01-141-0/+1
* Update to 0.6.0 release.Alex Dupre2019-12-183-10/+9
* devel/boost-*: update to 1.72.0Jan Beich2019-12-121-0/+1
* Update to 0.5.13 release.Alex Dupre2019-11-222-4/+4
* Update to 0.5.12 release.Alex Dupre2019-10-032-4/+4
* Update to 0.5.11 release.Alex Dupre2019-08-222-5/+4
* Mark as not for powerpc*/sparc64:Mark Linimon2019-08-221-0/+3
* devel/boost-*: update to 1.71.0Jan Beich2019-08-191-1/+1
* math/cvc4: simplify post-patchFernando ApesteguĂ­a2019-08-07