[ sid ]
Paquet : acl-dbgsym (2.3.2-2 et autres) [debports]
Liens pour acl-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
Computational Logic for Applicative Common Lisp: infix interface
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.
This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.
Autres paquets associés à acl-dbgsym
|
|
|
|
-
- dep: acl (= 2.3.2-2+b1)
- liste de contrôle d'accès – utilitaires
Télécharger acl-dbgsym
Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|---|
alpha (portage non officiel) | 2.3.2-2+b1 | 59,7 ko | 156,0 ko | [liste des fichiers] |