Package Descriptions for Ubuntu

Browsing French translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
171 of 57897 results First • • • Last
171.
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
Shared:
Ce paquet contient les fichiers sources lisp de l'exécutable principal ACL2
Suggested by Pierre Slamich
Located in Package: acl2-source
171 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.