FTP Search

Directory

Content Search

acl2-doc

A Computational Logic for Applicative Common Lisp: documentation

/Main/Ubuntu/all/doc/

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 documentation for ACL2.

Info:

Homepage:	-
Package version:	3.1-1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-doc_3.1-1_all.deb

Browse inside acl2-doc_3.1-1_all.deb:

pkg://acl2-doc_3.1-1_all.deb:2019780/  info  downloads

[DIR]usr/  65535+ twin directories
401 B  2005-12-04prerm  view  309+ mirrors
371 B  2005-12-04postinst  view  446+ mirrors
103.83 KB  2005-12-04md5sums  view
429 B  2005-12-04control  view  416+ mirrors

Download acl2-doc_3.1-1_all.deb:

2005-12-07  ftp://ftp.linux.it/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.kfki.hu/pub/linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.nz.debian.org/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.uni-hannover.de/pub/mirror/linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.port80.se/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://130.251.19.2/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/ubuntu/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.mgts.by/pub/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.uni-kassel.de/Mirrors/archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://24.215.0.24/Ubuntu/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.rd.cri74.org/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.cs.mun.ca/pub/mirror/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://sapi.vlsm.org/.3/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://91.189.88.31/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://91.189.88.46/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.free.fr/.mirrors6/ftp.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-06  ftp://ftp.ccs.neu.edu/net/mirrors/archive.ubuntu.com/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.ankara.edu.tr/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.net.usf.edu/pub3/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.rz.tu-bs.de/pub/mirror/.mounts/sdc1/archive.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.phys.ttu.edu/pub/ubuntu-mirror/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.cvut.cz/mirrors/ubuntu.com/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.int-evry.fr/mirror4/ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://193.219.61.67/pub/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.uwa.edu.au/mirrors/linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://64.50.238.52/.1/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.crihan.fr/mirrors/archive.ubuntu.com/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://64.50.236.52/.1/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.tiscali.nl/pub/mirror/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://147.52.159.12/mirrors/linux/ubuntu/packages/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.fh-giessen.de/pub/linux/ubuntu/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://77.88.19.68/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://200.17.202.1/ubuntu-all/archive/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.cn.kernel.org/ubuntu/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.uga.edu/pub/unix/linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp2.sk.freebsd.org/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.lug.udel.edu/pub/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.dei.uc.pt/pub/linux/ubuntu/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://200.17.202.16/ubuntu-all/archive/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.tuke.sk/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.udc.es/mirror/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://mirrors.hpcf.upr.edu/pub/Mirrors/ubuntu/archive/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2005-12-07  ftp://ftp.mn-linux.org/linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://217.75.96.164/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://ftp.de.netclusive.de/pub/Linux/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://mir1.ovh.net/lv0/ftp.ubuntu.com/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://ftp.ntnu.no/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://ftp.nfsi.pt/pub/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://83.166.201.99/ubuntu/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb
2006-12-06  ftp://na.mirror.garr.it/pub/1/ubuntu-archive/pool/universe/a/acl2/acl2-doc_3.1-1_all.deb