Closed nfeske closed 7 months ago
These ports are from a time long before Goa existed. I created fresh ports of those programs using Goa now (https://github.com/nfeske/goa-playground). So they can be removed from the world repository.
These ports are from a time long before Goa existed. I created fresh ports of those programs using Goa now (https://github.com/nfeske/goa-playground). So they can be removed from the world repository.