Tweak lang/mono version 5.10.1.57_3
[dports.git] / lang / maude /
2019-09-11 DPorts BuilderMerge branch 'staged'
2019-09-05 DPorts BuilderTweak lang/maude version 2.7.1
2019-05-17 DPorts BuilderMerge branch 'staged'
2019-05-14 DPorts BuilderImport lang/maude version 2.7.1
2019-01-29 DPorts BuilderPrune lang/maude
2018-09-07 DPorts BuilderTweak lang/maude version 2.6_1
2018-05-11 DPorts BuilderTweak lang/maude version 2.6_1
2017-01-25 DPorts BuilderTweak lang/maude version 2.6_1
2016-12-30 DPorts BuilderTweak lang/maude version 2.6_1
2016-12-17 DPorts BuilderImport lang/maude version 2.6_1