Package Descriptions for Ubuntu

Browsing German translation

  1. Series yakkety
  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.
279 → 288 of 106672 results First • • • Last
279.
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
280.
Computational Logic for Applicative Common Lisp: infix interface
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Infix-Schnittstelle
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix
281.
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
282.
Computational Logic for Applicative Common Lisp: infix source
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Infix-Quelltext
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix-source
283.
This package contains the source files to the infix interface to ACL2.
 
Description
Diese Paket enthält den Quellcode für die Infix-Schnittstelle zu ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-infix-source
284.
Computational Logic for Applicative Common Lisp: source files
 
Summary
Rechenbetonte Logik für applikatives Common Lisp: Quelltextdateien
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-source
285.
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 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.
Translated by Michael Vogt
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
286.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Dieses Paket enthält den Lisp-Quellcode für die Haupt-Binärdatei von ACL2.
Translated and reviewed by Hendrik Schrieber
Located in Package: acl2-source
287.
Analog dockapp clock for GNUstep
 
Summary
Analoguhr als Dockapplet für GNUstep
Translated and reviewed by Michael Vogt
Located in Package: aclock.app
288.
AClock is an analog clock with display of smooth seconds. It stays in the dock. The display is customizable:
 
Description
AClock ist eine analoge Uhr mit einer geglätteten Sekundenanzeige, die im Dock verbleibt. Die Anzeige ist anpassbar:
Translated by Michael Vogt
Located in Package: aclock.app
279 → 288 of 106672 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, E. Frank Sandig, Eduard Gotwig, Florian Greinus, Ghenrik, Hendrik Schrieber, Jakob Kramer, Jan Simon, Jens Krüger, Johannes Storm, Jonas Endersch, Jonathan Kolberg, Joshua Feis, Joshua Wiedekopf, Julian Keens, Jürgen Schwarze, Kevin Gath, Laurent Kap, Lothar Serra Mari, Lucas Meyer, Lukas Bögelein, MJJoker, Manfred Wiktorin, Marc Rodrigues, Marijo Mustac, Mark Mahler, Marsu, Martin Weil, Marvin S., Max Wiedenmann, Michael Steuernagel, Michael Vogt, Michael Wehram, Moritz Baumann, Nico Bauer, Oliver Duerre, Pascal De Vuyst, Patrick Seemann, Phil Krämer, Philipp Christen, Phillip Sz, Robin, Ronald Müller, Sascha, Simeon, Startlett, Stefan Gebhardt, Stephan Woidowski, Steve Langasek, Sven Seelbach, Thirafydion, Thomas Schwiertz, Tobias Bannert, Torsten Franz, dstaubsauger, greenscandic, hpeck, kilaviljenn, scrawl, shilbert, stepstra, Łukasz Zemczak.