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

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name acl2-emacs
Package version 6.5
Package release 2
Package architecture all
Package type deb
Installed size 297 B
Download size 59.45 KB
Official Mirror
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.


Package Version Architecture Repository
acl2-emacs_6.5-2_all.deb 6.5 all Debian Main
acl2-emacs - - -


Name Value
acl2 >= 6.5-2
dpkg >= 1.14.18
emacs24 -
emacsen -
tex-common >= 3


Name Value
acl2 <= 2.7-9


Name Value
acl2 <= 2.7-9


Type URL
Binary Package acl2-emacs_6.5-2_all.deb
Source Package acl2

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install acl2-emacs deb package:
    # sudo apt-get install acl2-emacs




See acl2_6.5-2_amd64.deb changelog.

See Also

Package Description
acl2-infix-source_6.5-2_all.deb Computational Logic for Applicative Common Lisp: infix source
acl2-infix_6.5-2_amd64.deb Computational Logic for Applicative Common Lisp: infix interface
acl2-source_6.5-2_all.deb Computational Logic for Applicative Common Lisp: source files
acl2_6.5-2_amd64.deb Computational Logic for Applicative Common Lisp: main binary
acl_2.2.52-2_amd64.deb Access control list utilities
aclock.app_0.4.0-1_amd64.deb Analog dockapp clock for GNUstep
acm_5.0-29_amd64.deb Multi-player classic aerial combat simulation
aconnectgui_0.9.0rc2-1-9_amd64.deb graphical ALSA sequencer connection manager
acorn-fdisk_3.0.6-8_amd64.deb partition editor for Acorn/RISC OS machines
acoustid-fingerprinter_0.6-4+b1_amd64.deb Acoustid fingerprinter
acpi-call-dkms_1.1.0-2_all.deb Kernel module that enables you to call ACPI methods
acpi-fakekey_0.142-6_amd64.deb tool to generate fake key events
acpi-support-base_0.142-6_all.deb scripts for handling base ACPI events such as the power button
acpi-support_0.142-6_all.deb scripts for handling many ACPI events
acpi_1.7-1_amd64.deb displays information on ACPI devices