Package Descriptions for Ubuntu

Browsing Hungarian translation

  1. Series precise
  2. Template “ddtp-ubuntu-universe”
  3. Hungarian (hu)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Hungarian guidelines.
147 → 156 of 54563 results First • • • Last
147.
A Computational Logic for Applicative Common Lisp: main binary
 
Summary
(no translation yet)
Located in Package: acl2
148.
This package contains the base ACL2 binary.
 
Description
Ez a csomag tartalmazza az alap ACL2 binárist.
Translated and reviewed by Balázs Úr
Located in Package: acl2
149.
A Computational Logic for Applicative Common Lisp: compiled libraries
 
Summary
(no translation yet)
Located in Package: acl2-books
150.
This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.
 
Description
(no translation yet)
Located in Package: acl2-books
151.
A Computational Logic for Applicative Common Lisp: library certificates
 
Summary
(no translation yet)
Located in Package: acl2-books-certs
152.
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
(no translation yet)
Located in Package: acl2-books-certs
153.
A Computational Logic for Applicative Common Lisp: library sources
 
Summary
(no translation yet)
Located in Package: acl2-books-source
154.
This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.
 
Description
(no translation yet)
Located in Package: acl2-books-source
155.
A Computational Logic for Applicative Common Lisp: documentation
 
Summary
(no translation yet)
Located in Package: acl2-doc
156.
This package contains the documentation for ACL2.
 
Description
Ez a csomag tartalmazza az ACL2 dokumentációt.
Translated and reviewed by Balázs Úr
Located in Package: acl2-doc
147 → 156 of 54563 results First • • • Last

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

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

Contributors to this translation: Balázs Úr, Dora Kovats, Gabor Kelemen, Kristóf Kiszel, Michael Vogt, Máté Őry, Richard Somlói, Rábai Viktor (current88), Zoltán Krasznecz, dongatto.