pkgsrc-wip/vis/TODO
David Howland b2c0905525 VIS is a system for formal verification, synthesis, and simulation of finite
state systems. It has been developed jointly at the University of California
at Berkeley, the University of Colorado at Boulder, and more recently at the
University of Texas, Austin.
2006-11-15 04:00:50 +00:00

7 lines
267 B
Text

Unfortunately, this package confilicts with textproc/vis
and has the same name as a NetBSD built-in command
Both of those should be resolved, probably by renaming the package
and the binary. However, I dont know what to name it.
Perhaps vis-ucb or VIS or ucvis...