SPIN is presently in the MATH category. It was submitted as a LANG category port, so I don't know why it ended in MATH. Fix: First, SPIN's short description ought to mention it processes a model written in PROMELA. I suggest the following: An on-the-fly verification system for asynchronous concurrent systems based on PROMELA Otherwise, searches for the PROMELA language will fail. Second, while it's presence in LANG might be questioned, PROMELA is a language, and SPIN does "simulate" a run in promela (basically, interprets a PROMELA program -- but since PROMELA is non-deterministic, it is called "simulation")... I think it rather belongs in DEVEL, though, as it's main use is validation. The point here is that while SPIN is used to validate "models", they are rather *programming* models, not abstract math models. By the same token, one could put all compilers in MATH, since they are all based on formal languages... At the very least, I'd expect adding a virtual category to it. How-To-Repeat: find /usr/ports -name spin -print
Responsible Changed From-To: freebsd-ports->asami I'll be glad to do the dirty work, but I'll let Mr. Asami decide which category is correct and do a repository copy if necessary.
State Changed From-To: open->feedback Saotshi should I move this port or is it already in the right place?
Responsible Changed From-To: asami->sada I'll handle this. Approved by: asmodai
State Changed From-To: feedback->closed Committed, thanks!