欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
搜索结果
在本wiki上新建名为“Mark Shuttleworth”的页面!
页面标题匹配
文件:Mark Shuttleworth after Linuxtag.jpg (2,813 × 1,875 (4.81 MB)) - 2010年9月25日 (六) 02:49
页面内容匹配
- ...es are being shared with Ubuntu and integrated into the core distribution. Shuttleworth also reminded readers that while some Google employees use this modified ve Although Shuttleworth and Google representatives have denied any plans to release Goobuntu outsid1 KB(164个字) - 2010年9月18日 (六) 16:17
- ...)|Andrew Morton]]{{,}} [[Ian Murdock]]{{,}} [[Daniel Robbins]]{{,}} [[Mark Shuttleworth]]{{,}} [[Richard Stallman]]{{,}} [[Linus Torvalds]]{{,}} [[Theodore Ts'o]]{4 KB(446个字) - 2010年9月27日 (一) 23:59
分享您的观点