[ Källkod: acl2 ]
Paket: acl2-infix (8.6+dfsg-3 och andra)
Länkar för acl2-infix
Debianresurser:
Hämta källkodspaketet acl2:
Ansvarig:
Externa resurser:
- Hemsida [www.cs.utexas.edu]
Liknande paket:
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.
Andra paket besläktade med acl2-infix
|
|
|
|
-
- dep: acl2 (= 8.4dfsg-2) [alpha, sh4]
- Computational Logic for Applicative Common Lisp: main binary
- dep: acl2 (= 8.5dfsg-2) [m68k]
- dep: acl2 (= 8.6+dfsg-3) [ej alpha, m68k, sh4]
-
- dep: texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- rec: acl2-infix-source (= 8.4dfsg-2) [alpha, sh4]
- Computational Logic for Applicative Common Lisp: infix source
- rec: acl2-infix-source (= 8.5dfsg-2) [m68k]
- rec: acl2-infix-source (= 8.6+dfsg-3) [ej alpha, m68k, sh4]
Hämta acl2-infix
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| alpha (inofficiell anpassning) | 8.4dfsg-2 | 502,1 kbyte | 3.045,0 kbyte | [filförteckning] |
| amd64 | 8.6+dfsg-3 | 864,8 kbyte | 5.744,0 kbyte | [filförteckning] |
| arm64 | 8.6+dfsg-3 | 833,5 kbyte | 5.249,0 kbyte | [filförteckning] |
| armel | 8.6+dfsg-3 | 813,3 kbyte | 3.580,0 kbyte | [filförteckning] |
| armhf | 8.6+dfsg-3 | 846,4 kbyte | 3.557,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 8.6+dfsg-3 | 990,6 kbyte | 4.415,0 kbyte | [filförteckning] |
| i386 | 8.6+dfsg-3 | 852,5 kbyte | 3.665,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 8.6+dfsg-3 | 1.065,0 kbyte | 8.248,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 8.5dfsg-2 | 442,5 kbyte | 2.245,0 kbyte | [filförteckning] |
| mips64el | 8.6+dfsg-3 | 874,9 kbyte | 5.509,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 8.6+dfsg-3 | 852,4 kbyte | 5.794,0 kbyte | [filförteckning] |
| ppc64el | 8.6+dfsg-3 | 882,0 kbyte | 5.930,0 kbyte | [filförteckning] |
| riscv64 | 8.6+dfsg-3 | 1.893,6 kbyte | 24.146,0 kbyte | [filförteckning] |
| s390x | 8.6+dfsg-3 | 862,9 kbyte | 5.590,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 8.4dfsg-2 | 479,4 kbyte | 1.810,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 8.6+dfsg-3 | 878,2 kbyte | 5.825,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 8.6+dfsg-3 | 868,8 kbyte | 4.226,0 kbyte | [filförteckning] |