acl2-infix_6.5-2~bpo70+1_amd64.deb


Advertisement

Description

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

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Backports Main amd64
Package filename acl2-infix_6.5-2~bpo70+1_amd64.deb
Package name acl2-infix
Package version 6.5
Package release 2~bpo70+1
Package architecture amd64
Package type deb
Homepage -
License -
Maintainer -
Download size 219.28 KB
Installed size 1.10 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 utilities and libraries to access ACL2 via an
infix notation similar to that used in many non-lisp programming
languages.

Alternatives

Package Version Architecture Repository
acl2-infix_4.3-3_amd64.deb 4.3 amd64 Debian Main
acl2-infix_4.3-3_i386.deb 4.3 i386 Debian Main
acl2-infix - - -

Requires

Name Value
acl2 = 6.5-2~bpo70+1
dpkg >= 1.14.18
tex-common >= 3
texlive-latex-recommended -

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-infix_6.5-2~bpo70+1_amd64.deb
Source Package acl2

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    deb http://ftp.debian.org/debian/ wheezy-backports main
  2. Update the package index:
    # sudo apt-get update
  3. Install acl2-infix deb package:
    # sudo apt-get install acl2-infix

Files

Path
/usr/lib/acl2-6.5/books/interface/infix/infix.o
/usr/lib/acl2-6.5/books/interface/infix/latex-init.o
/usr/lib/acl2-6.5/books/interface/infix/scribe-init.o
/usr/share/acl2-6.5/books/interface/infix/infix.o
/usr/share/acl2-6.5/books/interface/infix/latex-init.o
/usr/share/acl2-6.5/books/interface/infix/scribe-init.o
/usr/share/doc/acl2-infix/changelog.Debian.gz
/usr/share/doc/acl2-infix/copyright
/usr/share/doc/acl2-infix/examples/doinfix
/usr/share/texmf/tex/latex/CLI.sty

Changelog

2015-01-13 - Camm Maguire <camm@debian.org>
acl2 (6.5-2~bpo70+1) wheezy-backports; urgency=medium
* Backport to wheezy
2014-08-20 - Camm Maguire <camm@debian.org>
acl2 (6.5-2) unstable; urgency=medium
* build-dep latest gcl
2014-08-05 - Camm Maguire <camm@debian.org>
acl2 (6.5-1) unstable; urgency=low
* New upstream release
2014-07-25 - Camm Maguire <camm@debian.org>
acl2 (6.4-5) unstable; urgency=low
* rebuild against latest gcl
* lintian cleanups
2014-05-15 - Camm Maguire <camm@debian.org>
acl2 (6.4-4) unstable; urgency=low
* parse and use parallel keyword in DEB_BUILD_OPTIONS
2014-05-09 - Camm Maguire <camm@debian.org>
acl2 (6.4-3) unstable; urgency=low
* set HOME in rule to build saved_acl2.c
* Bug fix: "not buildable on buildds on some architectures", thanks to
Ivo De Decker (Closes: #747286).
2014-05-07 - Camm Maguire <camm@debian.org>
acl2 (6.4-2) unstable; urgency=low
* certify-books run with -j 8 -l 2.95
* Bug fix: "Process running beyond build (missing escape in
debian/rules)", thanks to Michael Tautschnig (Closes: #746203).
* build-dep latest gcl
2014-01-13 - Camm Maguire <camm@debian.org>
acl2 (6.4-1) unstable; urgency=low
* New upstream release
2013-11-15 - Camm Maguire <camm@debian.org>
acl2 (6.3-6) unstable; urgency=low
* rebuild against latest gcl
2013-10-18 - Camm Maguire <camm@debian.org>
acl2 (6.3-5) unstable; urgency=low
* rebuild against latest gcl

See Also

Package Description
acl2-source_6.5-2~bpo70+1_all.deb Computational Logic for Applicative Common Lisp: source files
acl2_6.5-2~bpo70+1_amd64.deb Computational Logic for Applicative Common Lisp: main binary
adequate_0.12~bpo70+1_all.deb Debian package quality testing tool
afflib-tools_3.7.5-1~bpo70+1_amd64.deb Advanced Forensics Format Library (utilities)
aide-common_0.16~a2.git20130520-3~bpo70+1_all.deb Advanced Intrusion Detection Environment - Common files
aide-dynamic_0.16~a2.git20130520-3~bpo70+1_amd64.deb Advanced Intrusion Detection Environment - dynamic binary
aide-xen_0.16~a2.git20130520-3~bpo70+1_amd64.deb Advanced Intrusion Detection Environment - static binary for XEN
aide_0.16~a2.git20130520-3~bpo70+1_amd64.deb Advanced Intrusion Detection Environment - static binary
aircrack-ng_1.2-0~beta3-3~bpo70+1_amd64.deb wireless WEP/WPA cracking utilities
airspy_0.2.22.b4c38a7-1~bpo70+1_amd64.deb Tiny and efficient software defined radio receiver
algobox_0.8+dfsg-2~bpo70+1_amd64.deb algorithmics introduction - French UI
amarok-common_2.6.0-1~bpo70+1_all.deb architecture independent files for Amarok
amarok-doc_2.6.0-1~bpo70+1_all.deb Amarok documentation (Handbook)
amarok-utils_2.6.0-1~bpo70+1_amd64.deb utilities for Amarok media player
amarok_2.6.0-1~bpo70+1_amd64.deb easy to use media player based on the KDE Platform
Advertisement
Advertisement