FTP Search

Directory

Content Search

acl2-emacs

A Computational Logic for Applicative Common Lisp: emacs interface

/Main/Debian/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 an emacs interface to ACL2.

Info:

Homepage:	-
Package version:	3.3-1.1
Architecture:	all
Distribution:	Debian
Filename:	acl2-emacs_3.3-1.1_all.deb

Browse inside acl2-emacs_3.3-1.1_all.deb:

pkg://acl2-emacs_3.3-1.1_all.deb:56018/  info  downloads

[DIR]usr/  65535+ twin directories
216 B  2007-05-13prerm  view  979+ mirrors
242 B  2007-05-13postinst  view  211+ mirrors
1.44 KB  2007-05-13md5sums  view  81 mirrors
[DIR]etc/  65535+ twin directories
609 B  2007-05-13control  view  838+ mirrors
40 B  2007-05-13conffiles  view  1136+ mirrors

Download acl2-emacs_3.3-1.1_all.deb:

2007-04-07  ftp://ftp.int-evry.fr/mirror1/ubuntu.com/ubuntu-cd/.debian-mirror/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.efrei.fr/pub/mirrors/linux/distributions/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.cstone.net/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.debian.hu/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.itb.ac.id/pub/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.uvigo.es/pub/linux/distribuciones/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.task.gda.pl/vol/zfs/ftp.debian.org/pub/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.lip6.fr/pub/linux/distributions/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://133.24.255.161/mirror3/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
2008-04-05  ftp://ftp.ur.ru/debian/pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb