devel/frama-c/: Remove expired port:
2023-03-21 devel/frama-c: Broken since 2021
Description
Description
Details
Details
- Provenance
bofh Authored on Mar 20 2023, 11:18 PM - Parents
- R11:729c4c989641: devel/riscv64-gcc: Remove expired port:
- Branches
- Unknown
- Tags