Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series quantal
  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.
161 → 170 of 54563 results First • • • Last
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
169.
A multi-player aerial combat simulation
 
Summary
Un simulador de combate aéreo multijugador
Translated and reviewed by Carlos Perelló Marín
Located in Package: acm
170.
acm is an air combat simulator that runs under the X window system. This version of acm is implemented as a distributed simulation. It communicates information via the IEEE Distributed Interactive Simulation protocol.
 
Description
acm es un simulador de combate aéreo que corre bajo X. Esta versión de acm está implementada como una simulación distribuida. Intercambia información mediante el protocolo de Simulación Interactiva Distribuida de IEEE (IEEE Distributed Interactive Simulation).
Translated and reviewed by Carlos Perelló Marín
Located in Package: acm
161 → 170 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.