Arch Linux

Ghostofkendo

Member

From: France

Registered: 2008-10-14

Posts: 10

[Solved] iSpin PKGBUILD license question

Hello fellow archers,

I am creating a PKGBUILD (my first one) for iSpin, a Tcl/Tk GUI for Spin, that I intend to upload on the AUR.
But I am not sure about how to fill the license field of my PKGBUILD. This is why I ask for your help here.
Quoting Gerard J. Holzmann, iSpin's (and Spin's) author, for educational or research purposes, iSpin and Spin are not covered by any specific license except the few following conditions

iSpin and Spin are copyright Bell Labs and/or Caltech but available without charge or limitation. you can do anything with it, including modify it, sell it, repost it, as long as you acknowledge the original source and make your changes available to everyone as well.

As for commercial purposes, they are covered by the SPIN commercial license instead.

So basically, iSpin is dual licensed which means I should have something like this:

license=('custom:SPIN_PUBLIC' 'custom:SPIN_COMMERCIAL')

But in the case of a non-commercial use, it is not really a licence which is applied.

What should I do? Leave only the commercial license or put the quotation from Gerard Holzmann in a file and use it as the SPIN_PUBLIC license?

Thanks in advance.

Last edited by Ghostofkendo (2011-03-10 13:14:43)

Lone_Wolf

Administrator

From: Netherlands, Europe

Registered: 2005-10-04

Posts: 15,392

Re: [Solved] iSpin PKGBUILD license question

the link you gave points to " SPIN Software Public License " Version 1.0 " 05/15/01 "

On the bottom of that page :

By downloading, installing, and using the SPIN software you signify that you accept the terms of this agreement. This acceptance is only required for commercial use of SPIN. Non-commercial use is restricted to educational use only. In all cases, no guarantee whatsoever is expressed or implied by the distribution of this code or any part thereof.

While the license doesn't look very restrictive, it seems that commercial use is everything EXCEPT educational use.
I suggest using single licensing, SPIN Software Public License .

---

Disliking systemd intensely, but not satisfied with alternatives so focusing on taming systemd.

clean chroot building not flexible enough ?
Try clean chroot manager by graysky

Ghostofkendo

Member

From: France

Registered: 2008-10-14

Posts: 10

Re: [Solved] iSpin PKGBUILD license question

I suggest using single licensing, SPIN Software Public License .

Ok, that makes sense.
Thank you very much, Lone_Wolf, for your help.

I will mark this thread as solved but if anyone wants to express a different point of view, feel free to do so.