acl2-emacs_6.5-2_all.deb


Advertisement

Description

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 ftp.br.debian.org
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.

Alternatives

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

Requires

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

Conflicts

Name Value
acl2 <= 2.7-9

Replaces

Name Value
acl2 <= 2.7-9

Download

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

Files

Path
/etc/emacs/site-start.d/50acl2-emacs.el
/usr/lib/emacsen-common/packages/install/acl2-emacs
/usr/lib/emacsen-common/packages/remove/acl2-emacs
/usr/share/doc/acl2-emacs/changelog.Debian.gz
/usr/share/doc/acl2-emacs/copyright
/usr/share/emacs/site-lisp/acl2/acl2-doc.el
/usr/share/emacs/site-lisp/acl2/acl2-interface-functions.el
/usr/share/emacs/site-lisp/acl2/acl2-interface.el
/usr/share/emacs/site-lisp/acl2/acl2-mode.el
/usr/share/emacs/site-lisp/acl2/emacs-acl2.el
/usr/share/emacs/site-lisp/acl2/inf-acl2.el
/usr/share/emacs/site-lisp/acl2/interface-macros.el
/usr/share/emacs/site-lisp/acl2/key-interface.el
/usr/share/emacs/site-lisp/acl2/load-inferior-acl2.el
/usr/share/emacs/site-lisp/acl2/load-shell-acl2.el
/usr/share/emacs/site-lisp/acl2/mfm-acl2.el
/usr/share/emacs/site-lisp/acl2/mfm.el
/usr/share/emacs/site-lisp/acl2/monitor.el
/usr/share/emacs/site-lisp/acl2/top-start-inferior-acl2.el
/usr/share/emacs/site-lisp/acl2/top-start-shell-acl2.el

Changelog

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
Advertisement
Advertisement