 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
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.
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:
pkg://acl2_2.9.2-1_m68k.deb:14216546/ downloads557 B 2005-06-16control view 640+ mirrors
584 B 2005-06-16md5sums view 550+ mirrors
[DIR]usr/ 1000+ twin directories
Download 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-16 ftp://ftp.uni-wuppertal.de/pub/linux/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-15 ftp://ftp.csie.chu.edu.tw/pub2/Debian/pool/main/a/acl2/acl2_2.9.2-1_m68k.deb
| Results 1 - 1 |