Package Descriptions for Ubuntu

Browsing Chinese (Traditional) translation

  1. Series oneiric
  2. Template “ddtp-ubuntu-universe”
  3. Chinese (Traditional) (zh_TW)
  4. Browsing Chinese (Traditional) transl...
185 of 63410 results First • • • Last
185.
This package contains the lisp source files to the main ACL2 binary.
 
Description
此套件包含主 ACL2 二元檔的 lisp 源碼檔案。
Translated and reviewed by Walter Cheuk
Located in Package: acl2-source
185 of 63410 results First • • • Last

This translation is managed by Ubuntu Traditional Chinese (Taiwan) Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.