acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface

Directory (beta)

Package Information

acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interface
/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 an emacs interface to ACL2.

Homepage: -

Package version: 3.0-1

Architecture: all

Distribution: Ubuntu

Filename: acl2-emacs_3.0-1_all.deb

Browse inside acl2-emacs_3.0-1_all.deb:

pkg://acl2-emacs_3.0-1_all.deb:50296/  info  downloads
40 B 2006-06-20conffiles  view  1000+ mirrors
529 B 2006-06-20control  view  700+ mirrors
[DIR]etc/  1000+ twin directories
1.36 KB 2006-06-20md5sums  view  85 mirrors
242 B 2006-06-20postinst  view  240+ mirrors
216 B 2006-06-20prerm  view  1000+ mirrors
[DIR]usr/  1000+ twin directories

Download acl2-emacs_3.0-1_all.deb:

Results 1 - 1

Homepage:	-
Package version:	3.0-1
Architecture:	all
Distribution:	Ubuntu
Filename:	acl2-emacs_3.0-1_all.deb