mysql80

mysql80のportsがいつまで待っても8.0.16のままなので、流石にやばいと思って8.0.17に手動でupdateしてみました。
ついでにphp73関係も結構古かったのでmakeし直しておきました。