FTP Search

Directory

Content Search

acl2-infix

A Computational Logic for Applicative Common Lisp: infix interface

/Main/Ubuntu/i386/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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Info:

Homepage:	-
Package version:	2.9.3-5build1
Architecture:	i386
Distribution:	Ubuntu
Filename:	acl2-infix_2.9.3-5build1_i386.deb

Browse inside acl2-infix_2.9.3-5build1_i386.deb:

pkg://acl2-infix_2.9.3-5build1_i386.deb:169010/  info  downloads

[DIR]usr/  65535+ twin directories
125 B  2004-06-11postrm  view  76 mirrors
106 B  2004-06-11postinst  view  162 mirrors
534 B  2004-06-11md5sums  view  266+ mirrors
669 B  2004-06-11control  view  713+ mirrors

Download acl2-infix_2.9.3-5build1_i386.deb:

2004-10-08  ftp://ftp.wh8.tu-dresden.de/pub/linux/distributions/ubuntu/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb
2005-10-07  ftp://ftp.ula.ve/linux/distribuciones/ubuntu.orig/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb
2005-10-06  ftp://ftp.cesnet.cz/.vol/releases.ubuntulinux.org/ubuntu/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb
2005-10-07  ftp://ftp.ens-cachan.fr/mirror/ubuntu/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb
2005-10-07  ftp://ftp.ua.kernel.org/pub/mirrors/ubuntu/pool/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb
2005-10-07  ftp://ftp.guadalinex.org/ubuntu/pool/universe/a/acl2/acl2-infix_2.9.3-5build1_i386.deb