acl2-emacs_8.0dfsg-1_all.deb


Advertisement

Description

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

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main amd64
Package filename acl2-emacs_8.0dfsg-1_all.deb
Package name acl2-emacs
Package version 8.0dfsg
Package release 1
Package architecture all
Package type deb
Category devel::interpreter devel::lang:lisp field::mathematics implemented-in::lisp interface::commandline math role::plugin role::program suite::emacs use::editing works-with::software:source
Homepage -
License -
Maintainer Camm Maguire <camm@debian.org>
Download size 66.02 KB
Installed size 286.00 KB
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_8.0dfsg-1_all.deb 8.0dfsg all Debian Main
acl2-emacs - - -

Requires

Name Value
acl2 >= 8.0dfsg-1
emacs25 -
emacsen -
tex-common >= 6

Conflicts

Name Value
acl2 <= 2.7-9

Replaces

Name Value
acl2 <= 2.7-9

Download

Type URL
Mirror ftp.br.debian.org
Binary Package acl2-emacs_8.0dfsg-1_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

2018-01-12 - Camm Maguire <camm@debian.org>
acl2 (8.0dfsg-1) unstable; urgency=medium
* New upstream release
* Applied dfsg changes from 7.1
* build-dep latest gcl
2017-08-29 - Camm Maguire <camm@debian.org>
acl2 (7.4dfsg-4) unstable; urgency=medium
* Accept NMU, thanks to Sean Whitton
* build-dep latest gcl
2017-08-03 - Sean Whitton <spwhitton@spwhitton.name>
acl2 (7.4dfsg-3.1) unstable; urgency=medium
* Non-maintainer upload.
* Bump {build-,}deps emacs24 -> emacs25 (Closes: #870663).
2017-06-08 - Camm Maguire <camm@debian.org>
acl2 (7.4dfsg-3) unstable; urgency=medium
* build-dep latest gcl
* revert mxgot for mips64
2017-05-28 - Camm Maguire <camm@debian.org>
acl2 (7.4dfsg-2) unstable; urgency=medium
* Set GCL_MULTIPROCESS_MEMORY_POOL for certifications
* build-dep latest gcl for mips64el fix
* Bug fix: "build fails on mips (mips-aql-05)", thanks to Héctor Orón
Martínez (Closes: #863224).
* mxgot .acl2 files patch
2017-05-08 - Camm Maguire <camm@debian.org>
acl2 (7.4dfsg-1) unstable; urgency=medium
* New upstream release
2016-10-15 - Camm Maguire <camm@debian.org>
acl2 (7.2dfsg-3) unstable; urgency=medium
* build-dep against latest gcl
* upstream pathname patch
2016-05-03 - Camm Maguire <camm@debian.org>
acl2 (7.2dfsg-2) unstable; urgency=medium
* Bug fix: "FTBFS in kfreebsd-amd64", thanks to Andreas Beckmann
(Closes: #815312).  Reduce GCL_MEM_MULTIPLE setting.
* Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
thanks to Santiago Vila (Closes: #819447).
2016-04-13 - Camm Maguire <camm@debian.org>
acl2 (7.2dfsg-1) unstable; urgency=medium
* New upstream release
* Bug fix: "Please do not hide the output from tests", thanks to
Santiago Vila (Closes: #819446).
* Bug fix: "FTBFS in stretch (looks like the same problem in maxima)",
thanks to Santiago Vila (Closes: #819447).
2015-10-27 - Camm Maguire <camm@debian.org>
acl2 (7.1dfsg-2) unstable; urgency=medium
* rebuild latest gcl, tail recursive equal works around setrlimit bug on
s390

See Also

Package Description
acl2-infix-source_8.0dfsg-1_all.deb Computational Logic for Applicative Common Lisp: infix source
acl2-infix_8.0dfsg-1_amd64.deb Computational Logic for Applicative Common Lisp: infix interface
acl2-source_8.0dfsg-1_all.deb Computational Logic for Applicative Common Lisp: source files
acl2_8.0dfsg-1_amd64.deb Computational Logic for Applicative Common Lisp: main binary
acl_2.2.53-4_amd64.deb access control list - utilities
aclock.app_0.4.0-2+b1_amd64.deb Analog dockapp clock for GNUstep
acm_5.0-29.2_amd64.deb Multi-player classic aerial combat simulation
acme-tiny_4.0.4-1_all.deb letsencrypt tiny Python client
acme_0.96.2-1_amd64.deb Multi-platform cross assembler for 6502/6510/65816 CPU
acmetool_0.0.62-3+b11_amd64.deb automatic certificate acquisition tool for Let's Encrypt
aconnectgui_0.9.0rc2-1-10_amd64.deb graphical ALSA sequencer connection manager
acorn-fdisk_3.0.6-10_amd64.deb partition editor for Acorn/RISC OS machines
acoustid-fingerprinter_0.6-6+b1_amd64.deb Acoustid fingerprinter
acpi-call-dkms_1.1.0-5_all.deb Kernel module that enables you to call ACPI methods
acpi-fakekey_0.142-8+b1_amd64.deb tool to generate fake key events
Advertisement
Advertisement