acl2-doc_8.1dfsg-3_all.deb


Advertisement

Description

acl2-doc - Computational Logic for Applicative Common Lisp: documentation

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename acl2-doc_8.1dfsg-3_all.deb
Package name acl2-doc
Package version 8.1dfsg
Package release 3
Package architecture all
Package type deb
Category devel::doc devel::interpreter devel::lang:lisp doc field::mathematics made-of::html role::documentation role::program works-with::software:source
Homepage -
License -
Maintainer Camm Maguire <camm@debian.org>
Download size 403.56 KB
Installed size 1.17 MB

Alternatives

Package Version Architecture Repository
acl2-doc_8.1dfsg-3_all.deb 8.1dfsg all Debian Main
acl2-doc - - -

Requires

Name Value
dpkg >= 1.15.4
install-info -
tex-common >= 6

Download

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

Install Howto

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

Files

Path
/usr/share/doc/acl2-doc/changelog.Debian.gz
/usr/share/doc/acl2-doc/copyright
/usr/share/doc/acl2-doc/books/README.md.gz
/usr/share/doc/acl2-doc/books/acl2s/ccg/README
/usr/share/doc/acl2-doc/books/acl2s/demos/README
/usr/share/doc/acl2-doc/books/add-ons/README
/usr/share/doc/acl2-doc/books/arithmetic/README
/usr/share/doc/acl2-doc/books/arithmetic-2/README
/usr/share/doc/acl2-doc/books/arithmetic-2/meta/README
/usr/share/doc/acl2-doc/books/arithmetic-2/pass1/arithmetic-axioms.txt.gz
/usr/share/doc/acl2-doc/books/arithmetic-3/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-5/README.gz
/usr/share/doc/acl2-doc/books/arithmetic-5/support/README
/usr/share/doc/acl2-doc/books/bdd/README
/usr/share/doc/acl2-doc/books/bdd/be/cath/add1.be
/usr/share/doc/acl2-doc/books/bdd/be/cath/add2.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add3.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/add4.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/cath/addsub.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul03.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul05.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul06.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul07.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/mul08.be.gz
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip02.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip04.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip06.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/rip08.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/transp.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf1.be
/usr/share/doc/acl2-doc/books/bdd/be/ex/ztwaalf2.be
/usr/share/doc/acl2-doc/books/build/jenkins/README.md
/usr/share/doc/acl2-doc/books/centaur/README.html
/usr/share/doc/acl2-doc/books/centaur/bridge/ruby/README
/usr/share/doc/acl2-doc/books/centaur/sv/cosims/README
/usr/share/doc/acl2-doc/books/centaur/sv/failtest/README.gz
/usr/share/doc/acl2-doc/books/centaur/vl/README
/usr/share/doc/acl2-doc/books/centaur/vl2014/failtest/README
/usr/share/doc/acl2-doc/books/centaur/vl2014/systest/README
/usr/share/doc/acl2-doc/books/centaur/vl2014/talks/README
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/README.gz
/usr/share/doc/acl2-doc/books/clause-processors/SULFA/smt-examples/smt-lib-crafted/README
/usr/share/doc/acl2-doc/books/coi/README-coi.html
/usr/share/doc/acl2-doc/books/coi/bags/README
/usr/share/doc/acl2-doc/books/coi/defstructure/README
/usr/share/doc/acl2-doc/books/coi/dtrees/README
/usr/share/doc/acl2-doc/books/coi/osets/README
/usr/share/doc/acl2-doc/books/coi/paths/README
/usr/share/doc/acl2-doc/books/coi/records/fast/README
/usr/share/doc/acl2-doc/books/cowles/README
/usr/share/doc/acl2-doc/books/data-structures/README
/usr/share/doc/acl2-doc/books/defexec/README
/usr/share/doc/acl2-doc/books/defexec/dag-unification/README
/usr/share/doc/acl2-doc/books/defexec/find-path/README
/usr/share/doc/acl2-doc/books/defexec/find-path/graph/README
/usr/share/doc/acl2-doc/books/demos/big-proof-talks/README
/usr/share/doc/acl2-doc/books/demos/marktoberdorf-08/README
/usr/share/doc/acl2-doc/books/demos/tutorial-problems/README
/usr/share/doc/acl2-doc/books/demos/tutorial-problems/equivalence-of-two-functions/README
/usr/share/doc/acl2-doc/books/finite-set-theory/README
/usr/share/doc/acl2-doc/books/ihs/README.gz
/usr/share/doc/acl2-doc/books/interface/README
/usr/share/doc/acl2-doc/books/interface/emacs/README
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.doc.gz
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.mss.gz
/usr/share/doc/acl2-doc/books/interface/emacs/README-mouse.ps.gz
/usr/share/doc/acl2-doc/books/interface/infix/README.gz
/usr/share/doc/acl2-doc/books/interface/infix/infix-examples.dvi.gz
/usr/share/doc/acl2-doc/books/interface/infix/infix-examples.ps.gz
/usr/share/doc/acl2-doc/books/kestrel/README.txt
/usr/share/doc/acl2-doc/books/kestrel/abnf/README.txt
/usr/share/doc/acl2-doc/books/kestrel/apt/README.txt
/usr/share/doc/acl2-doc/books/kestrel/auto-termination/README.gz
/usr/share/doc/acl2-doc/books/kestrel/bitcoin/README.txt
/usr/share/doc/acl2-doc/books/kestrel/ethereum/README.txt
/usr/share/doc/acl2-doc/books/kestrel/soft/README.txt
/usr/share/doc/acl2-doc/books/kestrel/utilities/README.txt
/usr/share/doc/acl2-doc/books/meta/README
/usr/share/doc/acl2-doc/books/misc/README.gz
/usr/share/doc/acl2-doc/books/misc/simplify-defuns.txt.gz
/usr/share/doc/acl2-doc/books/misc/hidden-defpkg-checks/README
/usr/share/doc/acl2-doc/books/misc/misc2/README
/usr/share/doc/acl2-doc/books/models/jvm/guard-verified-m1/README.gz
/usr/share/doc/acl2-doc/books/models/jvm/m1/README.gz
/usr/share/doc/acl2-doc/books/models/jvm/m5/README
/usr/share/doc/acl2-doc/books/models/y86/README
/usr/share/doc/acl2-doc/books/models/y86/y86-basic/y86/README
/usr/share/doc/acl2-doc/books/nonstd/sqrt/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/analysis/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/book/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/1999/calculus/solutions/README
/usr/share/doc/acl2-doc/books/nonstd/workshops/2011/reid-gamboa-differentiator/README
/usr/share/doc/acl2-doc/books/powerlists/README
/usr/share/doc/acl2-doc/books/projects/apply/README
/usr/share/doc/acl2-doc/books/projects/apply-model/README.gz
/usr/share/doc/acl2-doc/books/projects/apply-model/ex1/README.gz
/usr/share/doc/acl2-doc/books/projects/apply-model/ex2/README
/usr/share/doc/acl2-doc/books/projects/arm/README
/usr/share/doc/acl2-doc/books/projects/async/README
/usr/share/doc/acl2-doc/books/projects/async/fifo/README
/usr/share/doc/acl2-doc/books/projects/async/gcd/README
/usr/share/doc/acl2-doc/books/projects/async/serial-adder/README
/usr/share/doc/acl2-doc/books/projects/codewalker/README
/usr/share/doc/acl2-doc/books/projects/fm9001/README
/usr/share/doc/acl2-doc/books/projects/legacy-defrstobj/README.gz
/usr/share/doc/acl2-doc/books/projects/milawa/README
/usr/share/doc/acl2-doc/books/projects/milawa/ACL2/README
/usr/share/doc/acl2-doc/books/projects/oracle/README
/usr/share/doc/acl2-doc/books/projects/quadratic-reciprocity/README
/usr/share/doc/acl2-doc/books/projects/rac/README
/usr/share/doc/acl2-doc/books/projects/rac/bin/README
/usr/share/doc/acl2-doc/books/projects/rac/examples/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/cube/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/early/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev1/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/early/rev2/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/incremental/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/list-based/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/sorted/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/stobj-based/README
/usr/share/doc/acl2-doc/books/projects/sat/lrat/tests/README
/usr/share/doc/acl2-doc/books/projects/sat/proof-checker-itp13/README
/usr/share/doc/acl2-doc/books/projects/sat/zz-resolution-checker/README
/usr/share/doc/acl2-doc/books/projects/sb-machine/README
/usr/share/doc/acl2-doc/books/projects/smtlink/README.md
/usr/share/doc/acl2-doc/books/projects/smtlink/trusted/SMT-lib/README.md
/usr/share/doc/acl2-doc/books/projects/smtlink/trusted/z3-py/README.md
/usr/share/doc/acl2-doc/books/projects/smtlink/z3_interface/README.md
/usr/share/doc/acl2-doc/books/projects/srt/README
/usr/share/doc/acl2-doc/books/projects/stateman/README
/usr/share/doc/acl2-doc/books/projects/symbolic/README
/usr/share/doc/acl2-doc/books/projects/taspi/code/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/README.gz
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/mips/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/thacker/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/examples/x86-64/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/misc/README
/usr/share/doc/acl2-doc/books/projects/translators/l3-to-acl2/translator/README
/usr/share/doc/acl2-doc/books/projects/x86isa/README
/usr/share/doc/acl2-doc/books/projects/x86isa/machine/shared/README-check-rdrand
/usr/share/doc/acl2-doc/books/projects/x86isa/machine/shared/README-creating-a-dylib
/usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples/README
/usr/share/doc/acl2-doc/books/projects/x86isa/tools/execution/examples/documenting-edge-cases/README
/usr/share/doc/acl2-doc/books/proofstyles/counterexamples/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/bordeaux-threads/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/local-projects/fastnumio/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/alexandria-20170830-git/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/babel-20170630-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bordeaux-threads-v0.8.5/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/bt-semaphore-20170227-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cffi_0.19.0/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl+ssl-20171019-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-fad-0.7.4/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/cl-ppcre-2.0.11/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/flexi-streams-1.0.15/test/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/hunchentoot-v1.2.37/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/md5-20170630-git/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/osicat-20171019-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/rfc2388-20130720-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20150505-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20150505-git/test/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/shellpool-20150505-git/test/auto/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/split-sequence-1.2/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-features-20161204-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-garbage-20150113-git/README.md
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/trivial-gray-streams-20140826-git/README
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/uiop-3.2.1/README.md.gz
/usr/share/doc/acl2-doc/books/quicklisp/bundle/software/usocket-0.7.0.1/README.md.gz
/usr/share/doc/acl2-doc/books/rtl/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel1/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib1.delta1/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/lib2/README
/usr/share/doc/acl2-doc/books/rtl/rel11/rel9-rtl-pkg/support/support/README
/usr/share/doc/acl2-doc/books/rtl/rel4/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel4/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel4/lib/README
/usr/share/doc/acl2-doc/books/rtl/rel4/support/README
/usr/share/doc/acl2-doc/books/rtl/rel4/user/README
/usr/share/doc/acl2-doc/books/rtl/rel9/README.gz
/usr/share/doc/acl2-doc/books/rtl/rel9/arithmetic/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib1.delta1/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/lib2/README
/usr/share/doc/acl2-doc/books/rtl/rel9/support/support/README
/usr/share/doc/acl2-doc/books/system/doc/README
/usr/share/doc/acl2-doc/books/system/doc/convert-legacy-doc/README
/usr/share/doc/acl2-doc/books/system/toothbrush/README
/usr/share/doc/acl2-doc/books/textbook/README.gz
/usr/share/doc/acl2-doc/books/textbook/index.html
/usr/share/doc/acl2-doc/books/textbook/chap10/README
/usr/share/doc/acl2-doc/books/textbook/chap11/README
/usr/share/doc/acl2-doc/books/textbook/chap3/README
/usr/share/doc/acl2-doc/books/textbook/chap3/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap4/README
/usr/share/doc/acl2-doc/books/textbook/chap5/README
/usr/share/doc/acl2-doc/books/textbook/chap6/README
/usr/share/doc/acl2-doc/books/textbook/chap6/solutions.txt.gz
/usr/share/doc/acl2-doc/books/textbook/chap7/README
/usr/share/doc/acl2-doc/books/textbook/chap7/solutions.txt.gz
/usr/share/doc/acl2-doc/books/tools/book-conflicts/README
/usr/share/doc/acl2-doc/books/workshops/1999/README
/usr/share/doc/acl2-doc/books/workshops/1999/analysis/README
/usr/share/doc/acl2-doc/books/workshops/1999/calculus/README
/usr/share/doc/acl2-doc/books/workshops/1999/calculus/book/README
/usr/share/doc/acl2-doc/books/workshops/1999/calculus/solutions/README
/usr/share/doc/acl2-doc/books/workshops/1999/compiler/README
/usr/share/doc/acl2-doc/books/workshops/1999/de-hdl/README
/usr/share/doc/acl2-doc/books/workshops/1999/embedded/README
/usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-1/README
/usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-2/README
/usr/share/doc/acl2-doc/books/workshops/1999/embedded/Exercises/Exercise1-3/README
/usr/share/doc/acl2-doc/books/workshops/1999/embedded/Proof-Of-Contribution/README
/usr/share/doc/acl2-doc/books/workshops/1999/graph/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/README.original
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/examples/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/exercises/README
/usr/share/doc/acl2-doc/books/workshops/1999/ivy/ivy-v2/ivy-sources/test/README
/usr/share/doc/acl2-doc/books/workshops/1999/knuth-91/README
/usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/README
/usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/book/README
/usr/share/doc/acl2-doc/books/workshops/1999/mu-calculus/solutions/README
/usr/share/doc/acl2-doc/books/workshops/1999/multiplier/README
/usr/share/doc/acl2-doc/books/workshops/1999/pipeline/README
/usr/share/doc/acl2-doc/books/workshops/1999/simulator/README
/usr/share/doc/acl2-doc/books/workshops/1999/ste/README
/usr/share/doc/acl2-doc/books/workshops/1999/vhdl/README
/usr/share/doc/acl2-doc/books/workshops/2000/README
/usr/share/doc/acl2-doc/books/workshops/2000/cowles/books/README
/usr/share/doc/acl2-doc/books/workshops/2000/lusk-mccune/lusk-mccune-final/README
/usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/README
/usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/README.gz
/usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/pipeline/deterministic-systems/128/top/README
/usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/trivial/README
/usr/share/doc/acl2-doc/books/workshops/2000/manolios/pipeline/trivial/sawada-model/README
/usr/share/doc/acl2-doc/books/workshops/2000/medina/polynomials/README
/usr/share/doc/acl2-doc/books/workshops/2000/moore-manolios/partial-functions/README
/usr/share/doc/acl2-doc/books/workshops/2000/ruiz/multiset/README.html
/usr/share/doc/acl2-doc/books/workshops/2000/sumners1/cdeq/README
/usr/share/doc/acl2-doc/books/workshops/2000/sumners2/bdds/README
/usr/share/doc/acl2-doc/books/workshops/2002/README
/usr/share/doc/acl2-doc/books/workshops/2002/georgelin-borrione-ostier/support/README
/usr/share/doc/acl2-doc/books/workshops/2002/manolios-kaufmann/support/total-order/README
/usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-2/README
/usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-3/README
/usr/share/doc/acl2-doc/books/workshops/2002/ray-sumners/README
/usr/share/doc/acl2-doc/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/README
/usr/share/doc/acl2-doc/books/workshops/2003/README
/usr/share/doc/acl2-doc/books/workshops/2003/greve-wilding_mbe/support/README
/usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/README
/usr/share/doc/acl2-doc/books/workshops/2003/kaufmann/support/rtl/README
/usr/share/doc/acl2-doc/books/workshops/2003/moore_vcg/support/README
/usr/share/doc/acl2-doc/books/workshops/2003/sumners/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/README
/usr/share/doc/acl2-doc/books/workshops/2004/davis/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/gameiro-manolios/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/legato/support/nqthm/README
/usr/share/doc/acl2-doc/books/workshops/2004/manolios-srinivasan/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/ruiz-et-al/support/dag-quadratic-C/README
/usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support/README
/usr/share/doc/acl2-doc/books/workshops/2004/smith-et-al/support/bags/README
/usr/share/doc/acl2-doc/books/workshops/2006/README
/usr/share/doc/acl2-doc/books/workshops/2006/pike-shields-matthews/core_verifier/README
/usr/share/doc/acl2-doc/books/workshops/2007/README
/usr/share/doc/acl2-doc/books/workshops/2007/dillinger-et-al/code/README
/usr/share/doc/acl2-doc/books/workshops/2009/README
/usr/share/doc/acl2-doc/books/workshops/2009/gamboa-cowles-inverses/README
/usr/share/doc/acl2-doc/books/workshops/2009/greve-quantifiers/README
/usr/share/doc/acl2-doc/books/workshops/2009/greve-termination/README
/usr/share/doc/acl2-doc/books/workshops/2009/kaufmann-kornerup-reitblatt/support/README
/usr/share/doc/acl2-doc/books/workshops/2009/liu/support/README
/usr/share/doc/acl2-doc/books/workshops/2009/moore/README
/usr/share/doc/acl2-doc/books/workshops/2009/pierre-clavel-leveugle/Fault-tolerance/README.txt
/usr/share/doc/acl2-doc/books/workshops/2009/rager/README
/usr/share/doc/acl2-doc/books/workshops/2009/sumners/support/README
/usr/share/doc/acl2-doc/books/workshops/2009/vandenbroek-schmaltz/GeNoC/README
/usr/share/doc/acl2-doc/books/workshops/2011/README
/usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/README
/usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Memory/README
/usr/share/doc/acl2-doc/books/workshops/2011/krug-et-al/support/Utilities/README
/usr/share/doc/acl2-doc/books/workshops/2011/reid-gamboa-differentiator/README
/usr/share/doc/acl2-doc/books/workshops/2013/README
/usr/share/doc/acl2-doc/books/workshops/2013/davis-swords/README
/usr/share/doc/acl2-doc/books/workshops/2013/greve-slind/README
/usr/share/doc/acl2-doc/books/workshops/2013/verbeek-schmaltz/books/README
/usr/share/doc/acl2-doc/books/workshops/2014/davis-kaufmann/README
/usr/share/doc/acl2-doc/books/workshops/2014/heras-komendantskaya/support/README
/usr/share/doc/acl2-doc/books/workshops/2014/puri-ray-hao-xie/support/README.gz
/usr/share/doc/acl2-doc/books/workshops/2014/russinoff-oleary/support/README
/usr/share/doc/acl2-doc/books/workshops/2015/README
/usr/share/doc/acl2-doc/books/workshops/2015/chau-kaufmann-hunt/support/README
/usr/share/doc/acl2-doc/books/workshops/2015/peng-greenstreet/support/README
/usr/share/doc/acl2-doc/books/workshops/2017/README
/usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith/README
/usr/share/doc/acl2-doc/books/workshops/2017/coglio-kaufmann-smith/support/README
/usr/share/doc/acl2-doc/books/workshops/2017/kaufmann-swords/support/README
/usr/share/doc/acl2-doc/books/workshops/2017/sumners/support/README
/usr/share/doc/acl2-doc/books/workshops/2017/swords/support/README
/usr/share/doc/acl2-doc/books/workshops/references/README.org
/usr/share/doc/acl2-doc/books/xdoc/classic/README
/usr/share/doc/acl2-doc/books/xdoc/fancy/README.gz
/usr/share/doc/acl2-doc/books/xdoc/fancy/lib/katex/README.md.gz
/usr/share/doc/acl2-doc/doc/README
/usr/share/doc/acl2-doc/doc/create-acl2-code-size
/usr/share/doc/acl2-doc/doc/create-doc
/usr/share/doc/acl2-doc/doc/home-page.lisp.gz
/usr/share/doc/acl2-doc/doc/write-acl2-code-size.lisp.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
acl2-emacs_8.1dfsg-3_all.deb Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix-source_8.1dfsg-3_all.deb Computational Logic for Applicative Common Lisp: infix source
acl2-infix_8.1dfsg-3_i386.deb Computational Logic for Applicative Common Lisp: infix interface
acl2-source_8.1dfsg-3_all.deb Computational Logic for Applicative Common Lisp: source files
acl2_8.1dfsg-3_i386.deb Computational Logic for Applicative Common Lisp: main binary
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
Advertisement
Advertisement