ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/Why へ行く。

*Why - - ソフトウエア検証システム [#m1f902cf]
|メインページ|>| http://why.lri.fr/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|ソフトウエア検証システム|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(Why);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[why:http://packages.debian.org/why]]|~|
|Ubuntuパッケージ|[[why:http://packages.ubuntu.com/why]]|~|
|RPMパッケージ|[[検索:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=Why]],&soft_addpkg(RPM);|~|

|RPMパッケージ|[[why:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=why]]|~|

|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=Why]],&soft_addpkg(ports);|~|
|登録日|2013-03-18|~|

***説明 [#sec4ab86]
ソフトウエア検証システム

----
***コメント [#dde7fd16]
#comment(above)