Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
  4. Browsing Spanish translation
168 of 57897 results First • • • Last
168.
This package contains the source files to the infix interface to ACL2.
 
Description
Este paquete contiene los archivos fuente de la interfaz infix para ACL2.
Translated and reviewed by Paco Molinero
Shared:
Este paquete contiene los archivos fuente de la interface finix para ACL2.
Suggested by Monkey
Located in Package: acl2-infix-source
168 of 57897 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.