FTP Search

Directory

Content Search

acl2

A Computational Logic for Applicative Common Lisp: main binary

/Main/Debian/hppa/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.1-1
Architecture:	hppa
Distribution:	Debian
Filename:	acl2_2.9.1-1_hppa.deb

Browse inside acl2_2.9.1-1_hppa.deb:

Download acl2_2.9.1-1_hppa.deb:

2004-02-23  ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/acl2_2.9.1-1_hppa.deb
2005-08-06  ftp://ftp.ncku.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.1-1_hppa.deb
2005-08-07  ftp://ftp.nsysu.edu.tw/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.1-1_hppa.deb
2005-02-22  ftp://ftp.cpan.nl/pub/debian/pool/main/a/acl2/acl2_2.9.1-1_hppa.deb
2005-08-06  ftp://ftp.ncku.edu.tw/.snapshot/nightly.9/Linux/Debian/debian/pool/main/a/acl2/acl2_2.9.1-1_hppa.deb