欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Scratchbox
来自开放百科 - 灰狐
（版本间的差异）
(以内容'Scratchbox 是一个跨编译环境的开源(GPL)工具项目，它使得开发嵌入式Linux应用变得简单。 ==链接== *[http://scratchbox.org/ Scratchbox官网] [...'创建新页面) |
2011年4月21日 (四) 01:50的最后版本
Scratchbox 是一个跨编译环境的开源(GPL)工具项目，它使得开发嵌入式Linux应用变得简单。
[编辑] 链接
分享您的观点
