FTP Search

Directory

Content Search

acl2

A Computational Logic for Applicative Common Lisp: main binary

/Main/Debian/m68k/math/

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.

Info:

Homepage:	-
Package version:	2.9.2-1
Architecture:	m68k
Distribution:	Debian
Filename:	acl2_2.9.2-1_m68k.deb

Browse inside acl2_2.9.2-1_m68k.deb:

Download acl2_2.9.2-1_m68k.deb:

2004-06-16  ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb
2005-06-15  ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb
2005-06-16  ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb
2005-06-16  ftp://ftp.cpan.nl/pub/debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb
2005-06-15  ftp://ftp.ncku.edu.tw/.snapshot/nightly.9/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb