On Sat, Jan 2, 2016 at 10:52 AM, Tom Lee wrote:
> I'm interested in getting the Spin model checker into debian. Back in 2005
> there was some discussion here in [1]. At the time objections were raised
> because of licensing issues.
>
> Per the forwarded email below, as of January 2016 Gerard Holzm
Hey debian-legal,
I'm interested in getting the Spin model checker into debian. Back in 2005
there was some discussion here in [1]. At the time objections were raised
because of licensing issues.
Per the forwarded email below, as of January 2016 Gerard Holzmann has been
assigned copyright of the
2 matches
Mail list logo
