1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
Source: acl2
Section: math
Priority: optional
Maintainer: Camm Maguire <camm@debian.org>
Build-Depends: debhelper-compat ( = 13 ), gcl ( >= 2.6.12-92), libgmp3-dev, libreadline-dev, emacs-gtk | emacsen, debhelper ( >= 5), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common, texinfo
Standards-Version: 4.5.0
Package: acl2
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}
Recommends: acl2-source, acl2-books
Suggests: acl2-emacs
Description: Computational Logic for Applicative Common Lisp: main binary
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 base ACL2 binary.
Package: acl2-source
Architecture: all
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Depends: ${misc:Depends}
Description: Computational Logic for Applicative Common Lisp: source files
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.
Package: acl2-emacs
Architecture: all
Depends: acl2 (>= ${source:Version}), emacs-gtk | emacsen, ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: emacs interface
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 an emacs interface to ACL2.
Package: acl2-infix
Architecture: any
Recommends: acl2-infix-source (= ${source:Version})
Depends: acl2 (= ${binary:Version}), texlive-latex-recommended, ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: infix interface
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.
Package: acl2-infix-source
Architecture: all
Depends: ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: infix source
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.
Package: acl2-books
Architecture: any
Depends: acl2 (= ${binary:Version}), acl2-books-certs (= ${source:Version}), acl2-books-source (= ${source:Version}), ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: compiled libraries
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 numerous precompiled and precertified libraries
for use in proving theorems with ACL2. Serious users will no doubt
want to install this package.
Package: acl2-books-source
Architecture: all
Depends: acl2 (>= ${source:Version}), ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: library sources
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 source lisp files to the compiled libraries
supplied in the ACL2-books package.
Package: acl2-books-certs
Architecture: all
Depends: acl2 (>= ${source:Version}), ${misc:Depends}
Conflicts: acl2 (<= 2.7-9)
Replaces: acl2 (<= 2.7-9)
Description: Computational Logic for Applicative Common Lisp: library certificates
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 file contains certification records for the various precompiled
libraries supplied in the ACL2-books package. ACL2 essentially
requires that all included books be certified before use.
Package: acl2-doc
Depends: ${misc:Depends}, dpkg (>= 1.15.4) | install-info
Architecture: all
Section: doc
Description: Computational Logic for Applicative Common Lisp: documentation
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 documentation for ACL2.
|
