www/hotcrp: Deprecate and set expiration date to 2024-05-31
Outdated, version is tree was released in 2018 and upstream is
still active if someone wants to pick it up
www/hotcrp: Deprecate and set expiration date to 2024-05-31 Tags None Referenced Files None Subscribers None
Description
Details
|