acl2-source_6.5-2_all.deb


Advertisement

Description

acl2-source - Computational Logic for Applicative Common Lisp: source files

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name acl2-source
Package version 6.5
Package release 2
Package architecture all
Package type deb
Installed size 14.19 KB
Download size 2.64 MB
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 the lisp source files to the main ACL2 binary.

Alternatives

Package Version Architecture Repository
acl2-source_6.5-2_all.deb 6.5 all Debian Main
acl2-source - - -

Requires

Name Value
dpkg >= 1.14.18
tex-common >= 3

Conflicts

Name Value
acl2 <= 2.7-9

Replaces

Name Value
acl2 <= 2.7-9

Download

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

Install Howto

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

Files

Path
/usr/share/acl2-6.5/TAGS
/usr/share/acl2-6.5/acl2-check.lisp
/usr/share/acl2-6.5/acl2-fns.lisp
/usr/share/acl2-6.5/acl2-init.lisp
/usr/share/acl2-6.5/acl2.lisp
/usr/share/acl2-6.5/acl2r.lisp
/usr/share/acl2-6.5/akcl-acl2-trace.lisp
/usr/share/acl2-6.5/allegro-acl2-trace.lisp
/usr/share/acl2-6.5/axioms.lisp
/usr/share/acl2-6.5/basis.lisp
/usr/share/acl2-6.5/bdd.lisp
/usr/share/acl2-6.5/boot-strap-pass-2.lisp
/usr/share/acl2-6.5/defpkgs.lisp
/usr/share/acl2-6.5/defthm.lisp
/usr/share/acl2-6.5/defuns.lisp
/usr/share/acl2-6.5/doc.lisp
/usr/share/acl2-6.5/futures-raw.lisp
/usr/share/acl2-6.5/history-management.lisp
/usr/share/acl2-6.5/hons-raw.lisp
/usr/share/acl2-6.5/hons.lisp
/usr/share/acl2-6.5/induct.lisp
/usr/share/acl2-6.5/init.lisp
/usr/share/acl2-6.5/interface-raw.lisp
/usr/share/acl2-6.5/ld.lisp
/usr/share/acl2-6.5/linear-a.lisp
/usr/share/acl2-6.5/linear-b.lisp
/usr/share/acl2-6.5/mcl-acl2-startup.lisp
/usr/share/acl2-6.5/memoize-raw.lisp
/usr/share/acl2-6.5/memoize.lisp
/usr/share/acl2-6.5/multi-threading-raw.lisp
/usr/share/acl2-6.5/non-linear.lisp
/usr/share/acl2-6.5/openmcl-acl2-trace.lisp
/usr/share/acl2-6.5/other-events.lisp
/usr/share/acl2-6.5/other-processes.lisp
/usr/share/acl2-6.5/parallel-raw.lisp
/usr/share/acl2-6.5/parallel.lisp
/usr/share/acl2-6.5/proof-checker-a.lisp
/usr/share/acl2-6.5/proof-checker-b.lisp
/usr/share/acl2-6.5/proof-checker-pkg.lisp
/usr/share/acl2-6.5/prove.lisp
/usr/share/acl2-6.5/rewrite.lisp
/usr/share/acl2-6.5/serialize-raw.lisp
/usr/share/acl2-6.5/serialize.lisp
/usr/share/acl2-6.5/simplify.lisp
/usr/share/acl2-6.5/tau.lisp
/usr/share/acl2-6.5/translate.lisp
/usr/share/acl2-6.5/type-set-a.lisp
/usr/share/acl2-6.5/type-set-b.lisp
/usr/share/doc/acl2-source/changelog.Debian.gz
/usr/share/doc/acl2-source/copyright

Changelog

See acl2_6.5-2_amd64.deb changelog.

See Also

Package Description
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
acpica-tools_20140926-1_amd64.deb ACPICA tools for the development and debug of ACPI tables
acpid_2.0.23-2_amd64.deb Advanced Configuration and Power Interface event daemon
acpidump_20140926-1_all.deb transitional dummy package
Advertisement
Advertisement