Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Spanish guidelines.
159 → 168 of 54563 results First • • • Last
159.
A Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz infijo
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-infix
160.
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
 
Description
Este paquete contiene utilidades y librerías para acceder ACL2 con notación infix similar a la utilizada en varios lenguajes no basados en lisp.
Translated by Paco Molinero
Reviewed by Paco Molinero
Located in Package: acl2-infix
161.
A Computational Logic for Applicative Common Lisp: infix source
 
Summary
Lógica computacional para Applicative Common Lisp: código infijo
Translated by Alejandro Pérez
Reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-infix-source
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
163.
A Computational Logic for Applicative Common Lisp: source files
 
Summary
Lógica computacional para Applicative Common Lisp: archivos fuente
Translated and reviewed by Adolfo Jayme Barrientos
Located in Package: acl2-source
164.
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
 
Description
ACL2 se utiliza como lenguaje de programación con el que puede diseñar sistemas de cómputo y como herramienta que le ayuda a probar esos diseños.
Translated by mariomx08
Reviewed by Paco Molinero
Located in Package: elpa-acl2 Package: acl2-source Package: acl2-infix-source Package: acl2-infix Package: acl2-doc Package: acl2-books-source Package: acl2-books-certs Package: acl2-books Package: acl2
165.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Este paquete contiene los archivos fuente lisp del binario ACL2 principal.
Translated by Paco Molinero
Reviewed by Monkey
Located in Package: acl2-source
166.
Analog dockapp clock for GNUstep
 
Summary
Aplique de reloj analógico para GNUstep
Translated by Michael Vogt
Reviewed by Paco Molinero
Located in Package: aclock.app
167.
This little application displays the time of the day (analog).
 
Description
Esta pequeña aplicación muestra la hora del día (en analógico).
Translated by Michael Vogt
Reviewed by Monkey
Located in Package: aclock.app
168.
Homepage: http://www.linuks.mine.nu/aclock/
 
Description
Página web: http://www.linuks.mine.nu/aclock/
Translated by Paco Molinero
Reviewed by Monkey
Located in Package: aclock.app
159 → 168 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.

Contributors to this translation: 0rvidal, Adolfo Jayme Barrientos, Aiguanachein, Aitor de la Morena, Alejandro Pérez, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Perelló Marín, Cindy Acuña, Clara, Cristian Aravena Romero, Cross, Daniel Aguirre, Daniel Añez Scott, Dante Díaz, David de Obregon, DiegoJ, Edgardo Fredz, Eduardo Rivas, Eugenio M. Vigo, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Javier García Díaz, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, Juan Cardelino, Juan Eduardo Riva, Juan Sebastián Marulanda, Julian Alarcon, Malakun, Mauro de Carvalho, Michael Vogt, Moises Mata Astorga, Monkey, Nacho Barberán, Nicolás M. Zahlut, Pablo Rubianes, Paco Molinero, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Meneses, Steve Langasek, arztriper, hhlp, inigo, jcastp, jorgehpm, lynx, malev, mariomx08, nat6091, pico.dev, worg.