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