Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series maverick
  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.
163 → 172 of 57897 results First • • • Last
163.
A Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz para emacs
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: interfaz emacs
Suggested by Alejandro Pérez
Located in Package: acl2-emacs
164.
This package contains an emacs interface to ACL2.
 
Description
Este paquete contiene una interfaz de emacs para ACL2.
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Este paquete contiene una interfaz emacs para ACL2.
Suggested by Paco Molinero
Located in Package: elpa-acl2
165.
A Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Lógica computacional para Applicative Common Lisp: interfaz para infix
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: interfaz infijo
Suggested by Alejandro Pérez
Located in Package: acl2-infix
166.
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 bibliotecas para acceder a ACL2 a través de una notificación infix similar a la usada varios lenguajes de programación no lisp.
Translated and reviewed by Paco Molinero
Shared:
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.
Suggested by Paco Molinero
Located in Package: acl2-infix
167.
A Computational Logic for Applicative Common Lisp: infix source
 
Summary
Lógica computacional para Applicative Common Lisp: fuentes infix
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: código infijo
Suggested by Alejandro Pérez
Located in Package: acl2-infix-source
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
169.
A Computational Logic for Applicative Common Lisp: source files
 
Summary
Lógica computacional para Applicative Common Lisp: arhivos fuente
Translated by Juan Cardelino
Reviewed by Paco Molinero
Shared:
Lógica computacional para Applicative Common Lisp: archivos fuente
Suggested by Adolfo Jayme Barrientos
Located in Package: acl2-source
170.
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
171.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Este paquete contiene los archivos fuente lisp para el binario ACL2 principal.
Translated by mariomx08
Reviewed by Paco Molinero
Shared:
Este paquete contiene los archivos fuente lisp del binario ACL2 principal.
Suggested by Paco Molinero
Located in Package: acl2-source
172.
Analog dockapp clock for GNUstep
 
Summary
Reloj analógico para GNUstep
Translated by Paco Molinero
Reviewed by Paco Molinero
Shared:
Aplique de reloj analógico para GNUstep
Suggested by Michael Vogt
Located in Package: aclock.app
163 → 172 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.

Contributors to this translation: 0rvidal, Adolfo Jayme Barrientos, Aiguanachein, Aitor de la Morena, Alejandro Pérez, Alvaro.Godoy, Amin Contreras, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Ben Lövy, Cameron W, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Lerzundy, 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, Eder Flores, Edgardo Fredz, Eduardo Castro, Eduardo Rivas, Eugenio M. Vigo, Evan R. Murphy, Fabián Flores Vadell, FajardXorg, Feder Sáiz, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriel Retik, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Javier Carranza, Javier García Díaz, Javier Lancha, Javier Serrano, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, José Pablo Cortés, Juan Cardelino, Juan Eduardo Riva, Juan Miguel, Juan Sebastián Marulanda, Julian Alarcon, Julián Romero, Leandro Pavón Serrano, Lennon_79, Lovecat1024, LucianoGL9!, Luis Hurtado, Luis de Bethencourt Guimerá, Malakun, Manfred, Manuel Alejandro Jiménez Quintero, Marcos Astorgano, Mauro de Carvalho, Michael Vogt, Miguel Pérez Colino, Moises Mata Astorga, Monkey, MrcredsAlex, Nacho Barberán, Nelson Vergara, Nicolás M. Zahlut, Nicolás Rigalli, Oscar Rodriguez, Pablo Rubianes, Paco Molinero, Rainer Eli, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Cardamas, Sergio Meneses, Steve Langasek, Takmadeus, Toolband, Victor Vargas, William Bueno Hernandez, arztriper, dlg3000, dmm041191, gnuckx, gnz27, goynes1, hhlp, inigo, jcastp, jorgehpm, localhost, lynx, malev, mariomx08, mjdevel, nat6091, novatotal, pablo.sajnovsky, pico.dev, santos cano prada, worg.