欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
GNU General Public License
来自开放百科 - 灰狐
本程序是自由软件。只要您遵守GPL(the GNU General Public License) 以及下列规定,您就可以对本程序进行再次发布。您可以参看COPYING.txt 文档来了解GPL的具体内容。
1. 您可以任意拷贝。 2. 只要满足以下任意条件,您就可以自由地变更本程序的源代码。 (a) 采用下列方式公开变更内容的:如将变更内容贴到网络新闻上,
或将变更内容发送给原作者等等。
(b) 只在自己所属的组织内部使用变更后的程序的。 (c) 明确标出变更点,并且改换软件名称的。在发布新软件时,要
将原软件一起发布。同时还要标出取得原软件的源代码的方法。
(d) 满足其他变更条件且已经征得作者同意的。 3. 只要满足以下任意条件,您就可以采用编译后的目标代码或可执行
文件等方式发布本程序。
(a) 为了使得到二进制文件的用户能够取得源代码,请标明取得源 代码的方法。
(b) 附带了机器可读的源代码。 (c) 变更后的二进制文件必须重新命名,并标明取得原始源代码的
方法。
(d) 满足其他发布条件并且已经取得作者的同意。 4. 您可以自由地在其他程序中引用本程序。但本程序中包含其他作者
的代码,这些代码按其原作者意愿添加了限制。
具体说来就是,gc.c(一部分),util.c(一部分),st.[ch],
regex.[ch],以及./missing文件夹下的所有文件。请您参考各自的 文件来了解其发布条件。
5. 向本程序进行输入的脚本以及本程序的输出的权利,各自归属于输入输
出的制作者,而并非本程序的作者。对于归入本程序的扩展库也是如此。
6. 本程序不提供担保,作者也不为本程序提供支持。同时,若因本程序存
在瑕玼或运行本程序等原因给您带来任何损失的话,作者不负任何责任。
分享您的观点