Pakiet źródłowy: acl2 (8.5dfsg-5)
Odnośniki dla acl2
Zasoby systemu Debian:
Opiekun:
Zasoby zewnętrzne:
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- acl2
- Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
- acl2-books
- Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki
- acl2-books-certs
- Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek
- acl2-books-source
- Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe bibliotek
- acl2-doc
- Logika obliczeniowa do Applicative Common Lisp: dokumentacja
- acl2-infix
- Logika obliczeniowa do Applicative Common Lisp: infiksowy interfejs
- acl2-infix-source
- Logika obliczeniowa do Applicative Common Lisp: infiksowe pliki źródłowe
- acl2-source
- Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe
- elpa-acl2
- Logika obliczeniowa do Applicative Common Lisp: interfejs Emacsa
Inne pakiety związane z acl2
-
- adep:
debhelper-compat
(= 13)
- Pakiet niedostępny
-
- adep:
gcl
(>= 2.6.14-1)
- GNU Common Lisp compiler
-
- adep:
debhelper
(>= 13)
- Programy pomocnicze do debian/rules
-
- adep:
texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- adep:
time
- Program GNU time do pomiaru wykorzystania zasobów procesora
-
- adep:
texinfo
- System dokumentacji dla informacji on-line i wydruków
-
- idep:
dh-elpa
- Debian helper tools for packaging emacs lisp extensions
