acl2-infix-source_6.5-2_all.deb


Advertisement

Description

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

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name acl2-infix-source
Package version 6.5
Package release 2
Package architecture all
Package type deb
Installed size 371 B
Download size 77.59 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 the source files to the infix interface to
ACL2.

Alternatives

Package Version Architecture Repository
acl2-infix-source_6.5-2_all.deb 6.5 all Debian Main
acl2-infix-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-infix-source_6.5-2_all.deb
Source Package acl2

Install Howto

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

Files

Path
/usr/lib/acl2-6.5/books/interface/infix/acl2-formatting.lisp
/usr/lib/acl2-6.5/books/interface/infix/infix.lisp
/usr/lib/acl2-6.5/books/interface/infix/latex-init.lisp
/usr/lib/acl2-6.5/books/interface/infix/latex-theory.lisp
/usr/lib/acl2-6.5/books/interface/infix/scribe-init.lisp
/usr/lib/acl2-6.5/books/interface/infix/scribe-theory.lisp
/usr/lib/acl2-6.5/books/interface/infix/sloop.lisp
/usr/share/doc/acl2-infix-source/changelog.Debian.gz
/usr/share/doc/acl2-infix-source/copyright

Changelog

See acl2_6.5-2_amd64.deb changelog.

See Also

Package Description
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
acpica-tools_20140926-1_amd64.deb ACPICA tools for the development and debug of ACPI tables
Advertisement
Advertisement