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

[ Paquet source :  ]

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

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 ko	156,0 ko	[liste des fichiers]