Jochen Neumeister noticed that FreshPorts no longer lists phpunit6. Sure enough, I went searching and failed to find it. It did not turn up. Then I checked Include deleted ports, then clicked on Search again. Ahh, there it it. Sure enough, it is marked as deleted. Look for the small icon at the top, just [...]
↧