[ Pakiet źródłowy: acl2 ]
Pakiet: elpa-acl2 (8.5dfsg-6)
Odnośniki dla elpa-acl2
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego acl2:
Opiekun:
Zasoby zewnętrzne:
- Strona internetowa [www.cs.utexas.edu]
Podobne pakiety:
Logika obliczeniowa do Applicative Common Lisp: interfejs Emacsa
ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.
Pakiet zawiera interfejs Emacsa do ACL2.
Inne pakiety związane z elpa-acl2
|
|
|
|
-
- dep: acl2 (>= 8.5dfsg-6)
- Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
-
- dep: dh-elpa-helper
- helper package for emacs lisp extensions
-
- dep: emacs-gtk
- GNU Emacs editor (with GTK GUI support)
- lub emacsen
- pakiet wirtualny udostępniany przez emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
-
- dep: emacsen-common
- Wspólne udogodnienie dla wszystkich pakietów emacs
-
- dep: tex-common (>= 6.13)
- Wspólna infrastruktura do budowy i instalacji systemu TeX
Pobieranie elpa-acl2
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 69,0 KiB | 347,0 KiB | [lista plików] |