editors/jove: Remove expired port
2024-01-16 editors/jove: No upstream update in last 23 years
Description
Description
Details
Details
- Provenance
bofh Authored on Jan 18 2024, 6:25 PM - Parents
- R11:f7c6b6335d77: lang/php83: Update version 8.3.1=>8.3.2
- Branches
- Unknown
- Tags