[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ Bron: ]

Pakket: acl2 (8.4dfsg-2) [debports]

Verwijzigingen voor acl2

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [www.cs.utexas.edu]

Vergelijkbare pakketten:

Computational Logic for Applicative Common Lisp: main binary

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 the base ACL2 binary.

Andere aan acl2 gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libc6.1 (>= 2.29)

GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
dep: libgmp10 (>= 2:6.2.1+dfsg)

Multiprecision arithmetic library
dep: libreadline8 (>= 6.0)

GNU readline en geschiedenis bibliotheek, voor executie
dep: libtirpc3 (>= 1.0.2)

transport-independent RPC library
dep: libx11-6

X11 client-side library

rec: acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries
rec: acl2-source

Computational Logic for Applicative Common Lisp: source files

sug: elpa-acl2

Computational Logic for Applicative Common Lisp: emacs interface

acl2 downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	20.868,6 kB	243.337,0 kB	[overzicht]