Update lang/gcc10-devel to version 10.1.1.s20200509
[dports.git] / lang / php72-extensions /
2019-12-28 DPorts BuilderMerge branch 'staged'
2019-12-23 DPorts BuilderTweak lang/php72-extensions version 1.0
2019-11-04 DPorts BuilderMerge branch 'staged'
2019-10-26 DPorts BuilderTweak lang/php72-extensions version 1.0
2019-03-06 DPorts BuilderMerge branch 'staged'
2019-03-02 DPorts BuilderTweak lang/php72-extensions version 1.0
2019-01-23 DPorts BuilderTweak lang/php72-extensions version 1.0
2018-11-23 DPorts BuilderTweak lang/php72-extensions version 1.0
2018-02-04 DPorts BuilderTweak lang/php72-extensions version 1.0
2017-12-04 DPorts BuilderImport lang/php72-extensions version 1.0