pkg-comment « spin « devel - freebsd-ports-graphics - FreeBSD graphics obsolete development ports (https://github.com/freebsd/freebsd-ports-graphics)

about summary refs log tree commit diff stats

path: root/devel/spin/pkg-comment

blob: 3cce122e21373c770ef81dc10b52da9f9ed55736 (plain) (blame)

1	`An on-the-fly verification system for asynchronous concurrent systems`