This is still looking for an ok for me to import (or free commits for
you! just go ahead and import with my ok if you want).
~Brian
On 11/25/17 16:33, Brian Callahan wrote:
Hi Ori --
This is much better. There's a bonus newline at the end of your new
pkg/DESCR but that's no reason to have you resubmit.
I'd be happy to import this with an ok.
~Brian
On 11/25/17 00:46, Ori Bernstein wrote:
On Fri, 24 Nov 2017 21:28:04 -0800, Ori Bernstein
<o...@eigenstate.org> wrote:
On Fri, 24 Nov 2017 12:38:30 -0800, Ori Bernstein
<o...@eigenstate.org> wrote:
I'll rewrite it. Stay tuned for an updated tarball.
And, here's a new version. The only change from your fixes
is the rewrite of the DESCR.
Realized it's probably a good idea to inline the new
description:
$ pkg_info spin
Information for inst:spin-6.4.7p0
Comment:
Spin is a tool for formal verification of parallel software.
Description:
Spin is a popular open-source software verification tool, used by
thousands of
people worldwide. The tool can be used for the formal verification of
multi-threaded software applications. The tool was developed at Bell
Labs in
the Unix group of the Computing Sciences Research Center, starting in
1980. The
software has been available freely since 1991, and continues to
evolve to keep
pace with new developments.
Maintainer: Ori Bernstein <o...@eigenstate.org>
WWW: http://spinroot.com