acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source

Directory (beta)

Package Information

acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
/Main/Ubuntu/all/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 source files to the infix interface to ACL2.

Homepage: -

Package version: 2.9.3-5build1

Architecture: all

Distribution: Ubuntu

Filename: acl2-infix-source_2.9.3-5build1_all.deb

Browse inside acl2-infix-source_2.9.3-5build1_all.deb:

pkg://acl2-infix-source_2.9.3-5build1_all.deb:84860/  downloads
520 B 2005-10-07control  view  630+ mirrors
758 B 2005-10-07md5sums  view  48 mirrors
[DIR]usr/  1000+ twin directories

Download acl2-infix-source_2.9.3-5build1_all.deb:

2005-10-07 ftp://ftp.ens-cachan.fr/mirror/ubuntu/pool/universe/a/acl2/acl2-infix-source_2.9.3-5build1_all.deb
2005-10-07 ftp://ftp.man.szczecin.pl/pub/Linux/ubuntu-security/pool/universe/a/acl2/acl2-infix-source_2.9.3-5build1_all.deb
2005-10-07 ftp://ftp.wh8.tu-dresden.de/pub/linux/distributions/ubuntu/pool/universe/a/acl2/acl2-infix-source_2.9.3-5build1_all.deb
2005-10-06 ftp://ftp.cesnet.cz/.vol/releases.ubuntulinux.org/ubuntu/pool/universe/a/acl2/acl2-infix-source_2.9.3-5build1_all.deb

Results 1 - 1

Homepage:	-
Package version:	2.9.3-5build1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-infix-source_2.9.3-5build1_all.deb