[ Paquet source : acl2 ]
Paquet : acl2-source (8.4dfsg-2) [universe]
Liens pour acl2-source
Ressources Ubuntu :
Télécharger le paquet source acl2 :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Camm Maguire
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [www.cs.utexas.edu]
Paquets similaires :
Computational Logic for Applicative Common Lisp: source files
Autres paquets associés à acl2-source
|
|
|
|
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
Télécharger acl2-source
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 3 453,9 ko | 18 256,0 ko | [liste des fichiers] |