Package Descriptions for Ubuntu

Browsing French translation

  1. Series quantal
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
165 of 54563 results First • • • Last
165.
This package contains the lisp source files to the main ACL2 binary.
 
Description
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2
Translated and reviewed by Pierre Slamich
Located in Package: acl2-source
165 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.