Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series maverick
  2. Template “ddtp-ubuntu-multiverse”
  3. Spanish (es)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Spanish guidelines.
184 → 193 of 1816 results First • • • Last
184.
The ConTeXt distribution contains some fonts that are not considered free from Debian perspective, which are included here.
 
Description
La distribución ConTeXt contiene algunas fuentes que no están consideradas libres desde la perpectiva de Debian, las cuales se incluyen aquí.
Translated and reviewed by Paco Molinero
Shared:
La distribución ConTeXt contiene algunas tipografías que no se consideran libres desde la perspectiva Debian, incluidas aquí.
Suggested by Paco Molinero
Located in Package: context-nonfree
185.
documentation for Coq
 
Summary
documentación para Coq
Translated and reviewed by Paco Molinero
Located in Package: coq-doc
186.
This is a dummy package which will install the documentation in html and pdf formats.
 
Description
Este es un paquete vacío que instalará la documentación en los formatos HTML y PDF.
Translated by DiegoJ
Reviewed by Paco Molinero
Located in Package: coq-doc
187.
documentation for Coq in html format
 
Summary
documentación para Coq en formato HTML
Translated and reviewed by Paco Molinero
Located in Package: coq-doc-html
188.
This package contains its documentation and tutorials in html format.
 
Description
Este paquete contiene su documentación y los tutoriales en formato html.
Translated and reviewed by Paco Molinero
Located in Package: coq-doc-html
189.
documentation for Coq in pdf format
 
Summary
documentación para Coq en formato pdf
Translated and reviewed by Paco Molinero
Located in Package: coq-doc-pdf
190.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
 
Description
Coq es un asistente de prueba para lógica de alto nivel que permite el desarrollo de programas informáticos consistentes con su especificación formal. Está desarrollado usando Objective Caml y Camlp5.
Translated by DiegoJ
Reviewed by Paco Molinero
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
191.
This package contains its documentation and tutorials in pdf format.
 
Description
Este paquete contiene su documentación y los tutoriales en formato pdf.
Translated and reviewed by Paco Molinero
Located in Package: coq-doc-pdf
192.
state-of-the-art chess engine, compatible with xboard
 
Summary
motor de ajedrez de tecnología de punta, compatible con xboard
Translated by Adolfo Jayme Barrientos
Reviewed by Paco Molinero
Located in Package: crafty
193.
Crafty is the strong chess program played on ICC. It uses all of the search algorithms you have probably read about and performs better than gnu-chess in most positions. It has a reasonable set of features to use, and offers a great starting point to try your own new search extensions.
 
Description
Crafty es el programa de ajedrez más potente usado en ICC. Hace uso de todos los algoritmos de búsqueda que probablemente ha leído y los ejecuta mejor que gnu-chess en la mayoría de las posiciones. Tiene un conjunto razonable de características para usar, y ofrece un buen punto de partida para que pruebes sus propias extensiones de búsqueda.
Translated and reviewed by Paco Molinero
Shared:
Crafty es el programa de ajedrez más potente usado en ICC. Hace uso de todos los algoritmos de búsqueda que probablemente haya leído y los ejecuta mejor que gnu-chess en la mayoría de las posiciones. Tiene un conjunto razonable de características para usar, y ofrece un buen punto de partida para que pruebe sus propias extensiones de búsqueda.
Suggested by Monkey
Located in Package: crafty
184 → 193 of 1816 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: Adolfo Jayme Barrientos, Aiguanachein, Amin Contreras, Andres Suarez, Ariel Cabral, Aritz Tusell Garcia, Carlos Lerzundy, Carlos Perelló Marín, Daniel Añez Scott, Daniel Fuertes Pérez (DaniFP), Dante Díaz, DarkJavi, DiegoJ, FajardXorg, Feder Sáiz, Felipe Contreras, Fernando Gutiérrez Ferrerías, Fernando Muñoz, Gonzalo L. Campos Medina, Honorio de la Iglesia Lòpez, Ignacio Pinto, Javier Gallego Ramírez, Javier Suárez, Jesus Gamio, Jonay, Jorge Luis Granda, Jose Humberto Oliveros Magaña, Juan Cardelino, Julian Alarcon, Kiba, Leandro Gómez, Lovecat1024, Marcos, Martín V., Mauro de Carvalho, Michael Vogt, Miguel Pérez Colino, Miki_Loz, Monkey, Morgus, Pablo Rubianes, Paco Molinero, Quentin PAGÈS, RaCeR, Ricardo Pérez López, Ryoku Weil, Samuel Iglesias, Sebastian Carcamo, Sergio Meneses, Takmadeus, Thinboy00, Tim Macdonald, Víctor Manuel Abreu, William Bueno Hernandez, camilo1729, carlos andres arias fonseca, germana, gnuckx, gnz27, hhlp, juancarlospaco, miguel, nat6091, pablo.sajnovsky, reciclanet, worg.