Package Descriptions for Ubuntu

Browsing French translation

  1. Series yakkety
  2. Template “ddtp-ubuntu-universe”
  3. French (fr)
  4. Browsing French translation
286 of 106672 results First • • • Last
286.
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
286 of 106672 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.