Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
  4. Browsing Spanish translation
162 of 54563 results First • • • Last
162.
This package contains the source files to the infix interface to ACL2.
 
Description
Este paquete contiene los archivos fuente de la interface finix para ACL2.
Translated and reviewed by Monkey
Located in Package: acl2-infix-source
162 of 54563 results First • • • Last

This translation is managed by Ubuntu Spanish Translators, assigned by Ubuntu Translators.

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