[ Kaynak: acl2 ]
Paket: acl2-infix (8.6+dfsg-3 ve diğerleri)
acl2-infix için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
acl2 Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [www.cs.utexas.edu]
Benzer paketler:
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.
acl2-infix ile İlgili Diğer Paketler
|
|
|
|
-
- 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) [alpha, m68k, sh4 değil]
-
- 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) [alpha, m68k, sh4 değil]
acl2-infix indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| alpha (resmi olmayan port) | 8.4dfsg-2 | 502,1 kB | 3.045,0 kB | [dosya listesi] |
| amd64 | 8.6+dfsg-3 | 864,8 kB | 5.744,0 kB | [dosya listesi] |
| arm64 | 8.6+dfsg-3 | 833,5 kB | 5.249,0 kB | [dosya listesi] |
| armel | 8.6+dfsg-3 | 813,3 kB | 3.580,0 kB | [dosya listesi] |
| armhf | 8.6+dfsg-3 | 846,4 kB | 3.557,0 kB | [dosya listesi] |
| hppa (resmi olmayan port) | 8.6+dfsg-3 | 990,6 kB | 4.415,0 kB | [dosya listesi] |
| i386 | 8.6+dfsg-3 | 852,5 kB | 3.665,0 kB | [dosya listesi] |
| loong64 (resmi olmayan port) | 8.6+dfsg-3 | 1.065,0 kB | 8.248,0 kB | [dosya listesi] |
| m68k (resmi olmayan port) | 8.5dfsg-2 | 442,5 kB | 2.245,0 kB | [dosya listesi] |
| mips64el | 8.6+dfsg-3 | 874,9 kB | 5.509,0 kB | [dosya listesi] |
| ppc64 (resmi olmayan port) | 8.6+dfsg-3 | 852,4 kB | 5.794,0 kB | [dosya listesi] |
| ppc64el | 8.6+dfsg-3 | 882,0 kB | 5.930,0 kB | [dosya listesi] |
| riscv64 | 8.6+dfsg-3 | 1.893,6 kB | 24.146,0 kB | [dosya listesi] |
| s390x | 8.6+dfsg-3 | 862,9 kB | 5.590,0 kB | [dosya listesi] |
| sh4 (resmi olmayan port) | 8.4dfsg-2 | 479,4 kB | 1.810,0 kB | [dosya listesi] |
| sparc64 (resmi olmayan port) | 8.6+dfsg-3 | 878,2 kB | 5.825,0 kB | [dosya listesi] |
| x32 (resmi olmayan port) | 8.6+dfsg-3 | 868,8 kB | 4.226,0 kB | [dosya listesi] |