FTP Search

Directory

Content Search

acl2

A Computational Logic for Applicative Common Lisp: main binary

/Main/Debian/mips/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:	3.3-1
Architecture:	mips
Distribution:	Debian
Filename:	acl2_3.3-1_mips.deb

Browse inside acl2_3.3-1_mips.deb:

Download acl2_3.3-1_mips.deb:

2006-12-14  ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/a/acl2/acl2_3.3-1_mips.deb
2007-12-13  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2_3.3-1_mips.deb