toutes les options
sid  ]
[ Paquet source :  ]

Paquet : acl-dbgsym (2.3.2-2 et autres) [debports]

Liens pour acl-dbgsym

Screenshot

Ressources Debian :

Télécharger le paquet source  :

Introuvable

Responsables :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger acl-dbgsym

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 2.3.2-2+b1 59,7 ko156,0 ko [liste des fichiers]