cleanup: Remove expired ports:
2022-09-30 lang/spidermonkey17: Obsolete, released in 2007 and since long unsupported upstream
2022-09-30 lang/p5-JavaScript-SpiderMonkey: Depends on deprecated SpiderMonkey 1.7
Description
Description
Details
Details
- Provenance
rene Authored on Sep 30 2022, 8:22 PM - Parents
- R11:5cf6c59d83f7: cleanup: Remove expired ports:
- Branches
- Unknown
- Tags