Package Descriptions for Ubuntu

Browsing German translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. German (de)
  4. Browsing German translation
158 of 57897 results First • • • Last
158.
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
158 of 57897 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.