Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French 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
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
158 of 57897 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.