Browsing French translation

148 of 54563 results
This package contains the base ACL2 binary.
Ce paquet contient le binaire ACL2 de base.
Translated by Michael Vogt on 2008-01-04
Reviewed by Bruno Patri on 2008-02-23
Located in Package: acl2
148 of 54563 results

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

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