acl2-source_8.0dfsg-1_all.deb


Advertisement

Description

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

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe i386
Package name acl2-source
Package version 8.0dfsg
Package release 1
Package architecture all
Package type deb
Installed size 15.83 KB
Download size 2.93 MB
Official Mirror archive.ubuntu.com
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_8.0dfsg-1_all.deb 8.0dfsg all Ubuntu Universe
acl2-source - - -

Requires

Name Value
tex-common >= 6

Conflicts

Name Value
acl2 <= 2.7-9

Replaces

Name Value
acl2 <= 2.7-9

Download

Type URL
Binary Package acl2-source_8.0dfsg-1_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-8.0dfsg/TAGS
/usr/share/acl2-8.0dfsg/acl2-check.lisp
/usr/share/acl2-8.0dfsg/acl2-fns.lisp
/usr/share/acl2-8.0dfsg/acl2-init.lisp
/usr/share/acl2-8.0dfsg/acl2-proclaims.lisp
/usr/share/acl2-8.0dfsg/acl2.lisp
/usr/share/acl2-8.0dfsg/acl2r.lisp
/usr/share/acl2-8.0dfsg/akcl-acl2-trace.lisp
/usr/share/acl2-8.0dfsg/allegro-acl2-trace.lisp
/usr/share/acl2-8.0dfsg/apply-constraints.lisp
/usr/share/acl2-8.0dfsg/apply-prim.lisp
/usr/share/acl2-8.0dfsg/apply-raw.lisp
/usr/share/acl2-8.0dfsg/apply.lisp
/usr/share/acl2-8.0dfsg/axioms.lisp
/usr/share/acl2-8.0dfsg/basis-a.lisp
/usr/share/acl2-8.0dfsg/basis-b.lisp
/usr/share/acl2-8.0dfsg/bdd.lisp
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-a.lisp
/usr/share/acl2-8.0dfsg/boot-strap-pass-2-b.lisp
/usr/share/acl2-8.0dfsg/defpkgs.lisp
/usr/share/acl2-8.0dfsg/defthm.lisp
/usr/share/acl2-8.0dfsg/defuns.lisp
/usr/share/acl2-8.0dfsg/doc.lisp
/usr/share/acl2-8.0dfsg/futures-raw.lisp
/usr/share/acl2-8.0dfsg/history-management.lisp
/usr/share/acl2-8.0dfsg/hons-raw.lisp
/usr/share/acl2-8.0dfsg/hons.lisp
/usr/share/acl2-8.0dfsg/induct.lisp
/usr/share/acl2-8.0dfsg/init.lisp
/usr/share/acl2-8.0dfsg/interface-raw.lisp
/usr/share/acl2-8.0dfsg/ld.lisp
/usr/share/acl2-8.0dfsg/linear-a.lisp
/usr/share/acl2-8.0dfsg/linear-b.lisp
/usr/share/acl2-8.0dfsg/mcl-acl2-startup.lisp
/usr/share/acl2-8.0dfsg/memoize-raw.lisp
/usr/share/acl2-8.0dfsg/memoize.lisp
/usr/share/acl2-8.0dfsg/multi-threading-raw.lisp
/usr/share/acl2-8.0dfsg/non-linear.lisp
/usr/share/acl2-8.0dfsg/openmcl-acl2-trace.lisp
/usr/share/acl2-8.0dfsg/other-events.lisp
/usr/share/acl2-8.0dfsg/other-processes.lisp
/usr/share/acl2-8.0dfsg/parallel-raw.lisp
/usr/share/acl2-8.0dfsg/parallel.lisp
/usr/share/acl2-8.0dfsg/proof-builder-a.lisp
/usr/share/acl2-8.0dfsg/proof-builder-b.lisp
/usr/share/acl2-8.0dfsg/proof-builder-pkg.lisp
/usr/share/acl2-8.0dfsg/prove.lisp
/usr/share/acl2-8.0dfsg/rewrite.lisp
/usr/share/acl2-8.0dfsg/serialize-raw.lisp
/usr/share/acl2-8.0dfsg/serialize.lisp
/usr/share/acl2-8.0dfsg/simplify.lisp
/usr/share/acl2-8.0dfsg/tau.lisp
/usr/share/acl2-8.0dfsg/translate.lisp
/usr/share/acl2-8.0dfsg/type-set-a.lisp
/usr/share/acl2-8.0dfsg/type-set-b.lisp
/usr/share/doc/acl2-source/changelog.Debian.gz
/usr/share/doc/acl2-source/copyright

Changelog

See acl2_8.0dfsg-1_i386.deb changelog.

See Also

Package Description
acl2_8.0dfsg-1_i386.deb Computational Logic for Applicative Common Lisp: main binary
aclock.app_0.4.0-1build4_i386.deb Analog dockapp clock for GNUstep
acm_5.0-29.1ubuntu1_i386.deb Multi-player classic air combat simulator
acme-tiny_20171115-1_all.deb letsencrypt tiny Python client
acmetool_0.0.62-2_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-9_i386.deb partition editor for Acorn/RISC OS machines
acoustid-fingerprinter_0.6-6_i386.deb Acoustid fingerprinter
acpi-call-dkms_1.1.0-4_all.deb Kernel module that enables you to call ACPI methods
acpi_1.7-1.1_i386.deb displays information on ACPI devices
acpica-tools_20180105-1_i386.deb ACPICA tools for the development and debug of ACPI tables
acpitail_0.1-4build1_i386.deb Show ACPI information in a tail-like style
acpitool_0.5.1-4build1_i386.deb command line ACPI client
acr_1.2-1_all.deb autoconf like tool
actiona_3.9.2-1build2_i386.deb emulate human activity through a powerful GUI and JavaScript
Advertisement
Advertisement