欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Debian/developer
来自开放百科 - 灰狐
（版本间的差异）
(以“Debian 开发者 ==指南== ==链接== *[http://ci.debian.net/ Debian Continuous Integration] category:debian category:developer”为内容创建页面) |
小 (Allen移动Debian/Developer页面至Debian/developer，不留重定向) |
2015年11月16日 (一) 11:40的版本
Debian 开发者
指南
链接
分享您的观点
