Created attachment 221629 [details]
Patch for codelite
There exists a bug #252085, which has a patch for a new port editors/codelite-devel with version 184.108.40.20601218. On Github v15.0.0  was released Jan 15, 2021.
Because editors/codelite is outdated and no longer buildable, wouldn't it be better to update this port to version 15.0.0 instead of creating a new 'devel' version?
Just a thought ;)
Thanks for finding that PR and I agree that it makes much more sense than creating a devel port.
Wouldn't the patch for v15.0.0 published today by Ivan in bug #252085 be better here, as discussed before?
Probably a devel port is not needed then. But I can not make this decision for Ivan ...