Package Descriptions for Ubuntu

Browsing French translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
152 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
Ce fichier contient les enregistrements de certificats pour les différentes bibliothèques précompilées fournies dans le paquet ACL2-books. ACL2 nécessite essentiellement que les livres inclus soient certifiés avant utilisation.
Translated and reviewed by Pierre Slamich
Located in Package: acl2-books-certs
152 of 54563 results First • • • Last

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

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