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