acl2_8.1dfsg-3_i386.deb


Advertisement

Description

acl2 - Computational Logic for Applicative Common Lisp: main binary

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename acl2_8.1dfsg-3_i386.deb
Package name acl2
Package version 8.1dfsg
Package release 3
Package architecture i386
Package type deb
Category devel::interpreter devel::lang:lisp field::mathematics implemented-in::lisp interface::commandline interface::text-mode math role::program scope::utility uitoolkit::ncurses works-with::software:source
Homepage -
License -
Maintainer Camm Maguire <camm@debian.org>
Download size 17.76 MB
Installed size 156.18 MB

Alternatives

Package Version Architecture Repository
acl2_8.1dfsg-3_amd64.deb 8.1dfsg amd64 Debian Main
acl2 - - -

Requires

Name Value
libc6 >= 2.28
libgmp10 -
libreadline7 >= 6.0
libx11-6 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package acl2_8.1dfsg-3_i386.deb
Source Package acl2

Install Howto

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

Files

Path
/usr/bin/acl2
/usr/lib/acl2-8.1dfsg/saved_acl2
/usr/share/acl2-8.1dfsg/saved_acl2
/usr/share/doc/acl2/README.Debian.gz
/usr/share/doc/acl2/TODO.Debian
/usr/share/doc/acl2/changelog.Debian.gz
/usr/share/doc/acl2/copyright
/usr/share/doc/acl2/mini-proveall.out.gz
/usr/share/doc/acl2/test.log.gz
/usr/share/lintian/overrides/acl2
/usr/share/man/man1/acl2.1.gz

Changelog

2019-04-03 - Camm Maguire <camm@debian.org>
acl2 (8.1dfsg-3) unstable; urgency=medium
* Bug fix: "excessive build time on 32-bit architectures", thanks to
Aurelien Jarno (Closes: #926121).
2019-03-29 - Camm Maguire <camm@debian.org>
acl2 (8.1dfsg-2) unstable; urgency=medium
* Limit number of jobs on memory restricted machines
* Build-dep latest gcl
* latest standards
* Bug fix: "Hangs, defeats hang detections", thanks to Christoph Egger
(Closes: #864877).
2019-02-28 - Camm Maguire <camm@debian.org>
acl2 (8.1dfsg-1) unstable; urgency=medium
* New upstream release
* Applied dfsg changes from 7.1
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

See Also

Package Description
acl_2.2.53-4_i386.deb access control list - utilities
aclock.app_0.4.0-2+b1_i386.deb Analog dockapp clock for GNUstep
acm_5.0-29.2_i386.deb Multi-player classic aerial combat simulation
acme-tiny_4.0.4-1_all.deb letsencrypt tiny Python client
acme_0.96.2-1_i386.deb Multi-platform cross assembler for 6502/6510/65816 CPU
acmetool_0.0.62-3+b11_i386.deb automatic certificate acquisition tool for Let's Encrypt
aconnectgui_0.9.0rc2-1-10_i386.deb graphical ALSA sequencer connection manager
acorn-fdisk_3.0.6-10_i386.deb partition editor for Acorn/RISC OS machines
acoustid-fingerprinter_0.6-6+b1_i386.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_i386.deb tool to generate fake key events
acpi-support-base_0.142-8_all.deb scripts for handling base ACPI events such as the power button
acpi-support_0.142-8_all.deb scripts for handling many ACPI events
acpi_1.7-1.1_i386.deb displays information on ACPI devices
acpica-tools_20190509-1_i386.deb ACPICA tools for the development and debug of ACPI tables
Advertisement
Advertisement