Package Descriptions for Ubuntu

Browsing German translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. German (de)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and German guidelines.
152 → 161 of 54563 results First • • • Last
152.
This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.
 
Description
Diese Datei enthält Zertifikatsaufzeichnungen der verschiedenen, vorkompilierten Bibliotheken, die durch das ACL2-books-Paket zur Verfügung gestellt werden. ACL2 verlangt, dass alle eingebundenen Bücher vor der Benutzung zertifiziert werden.
Translated by Phil Krämer
Reviewed by Daniel Schury
Located in Package: acl2-books-certs
153.
A Computational Logic for Applicative Common Lisp: library sources
 
Summary
A Computational Logic for Applicative Common Lisp: Bibliotheks-Quelltext
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-books-source
154.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
 
Description
Dieses Paket enthält die LISP-Quelldateien der bereits kompilierten Bibliotheken, welche durch das ACL2-books-Paket bereitgestellt werden.
Translated and reviewed by Daniel Schury
Located in Package: acl2-books-source
155.
A Computational Logic for Applicative Common Lisp: documentation
 
Summary
A Computational Logic for Applicative Common Lisp: Dokumentation
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-doc
156.
This package contains the documentation for ACL2.
 
Description
Dieses Paket enthält die Dokumentation für ACL2.
Translated by Nico Bauer
Reviewed by Hendrik Schrieber
Located in Package: acl2-doc
157.
A Computational Logic for Applicative Common Lisp: emacs interface
 
Summary
A Computational Logic for Applicative Common Lisp: Emacs-Schnittstelle
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-emacs
158.
This package contains an emacs interface to ACL2.
 
Description
Diese Paket enthält eine Emacs-Schnittstelle zu ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: elpa-acl2
159.
A Computational Logic for Applicative Common Lisp: infix interface
 
Summary
A Computational Logic for Applicative Common Lisp: Infix-Schnittstelle
Translated and reviewed by Hendrik Schrieber
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
Dieses Paket enthält Werkzeuge und Bibliotheken zum Zugriff auf ACL2 über eine infix-Schreibweise, ähnlich der in vielen nicht-lisp Programmiersprachen verwendeten.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix
161.
A Computational Logic for Applicative Common Lisp: infix source
 
Summary
A Computational Logic for Applicative Common Lisp: Infix-Quelltext
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix-source
152 → 161 of 54563 results First • • • Last

This translation is managed by Ubuntu German Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: Alexander Hartl, Björn Ternes, Carlos Perelló Marín, Carsten Gerlach, Christian Flasche, Christoph Gerlach, Daniel, Daniel Schury, Daniel Winzen, David Ayers, Denise Tiersch, Dennis Baudys, Dr. Peter Netz, Eduard Gotwig, Florian Greinus, Frank Sagner, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Jürgen Schwarze, Laurent Kap, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Max Wiedenmann, Michael Steuernagel, Michael Vogt, Moritz Baumann, Nico Bauer, Niko K, Oliver Duerre, Pascal De Vuyst, Phil Krämer, Rajek, Robin, Ronald Müller, Sascha, Severin H, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thomas Schwiertz, Tobias Bannert, Torsten Franz, ctx, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.