Package Descriptions for Ubuntu

Browsing Chinese (Traditional) translation

  1. Series disco
  2. Template “ddtp-ubuntu-universe”
  3. Chinese (Traditional) (zh_TW)
  4. Browsing Chinese (Traditional) transl...
256 of 125522 results First • • • Last
256.
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
256 of 125522 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.