Download mirrors for aamath-0.3_1.tbz (134.05 KB):

acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/i386/math/

2006-02-24  ftp://ftp.tw.freebsd.org/pub/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz
2006-02-23  ftp://ftp.cse.buffalo.edu/mirror/BSD/FreeBSD-Archive/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz
2006-02-23  ftp://ftp.nz.freebsd.org/pub/FreeBSD/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz
2006-02-24  ftp://ftp.tw.freebsd.org/pub/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz
2006-02-23  ftp://ftp.cse.buffalo.edu/mirror/BSD/FreeBSD-Archive/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz
2006-02-23  ftp://ftp.nz.freebsd.org/pub/FreeBSD/ports/amd64/packages-6.1-release/All/aamath-0.3_1.tbz