Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series oneiric
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
  4. Browsing Spanish translation
182 of 63410 results First • • • Last
182.
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
182 of 63410 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.