Pakiet: acl2-books-source (8.0dfsg-1)
Odnośniki dla acl2-books-source
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:
Podobne pakiety:
Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe bibliotek
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 pliki źródłowe Lisp do skompilowanych bibliotek dostarczanych w pakiecie ACL2-books.
Inne pakiety związane z acl2-books-source
|
|
|
|
-
- dep: acl2 (>= 8.0dfsg-1)
- Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
-
- dep: tex-common (>= 6)
- Wspólna infrastruktura do budowy i instalacji systemu TeX
Pobieranie acl2-books-source
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 12 181,1 KiB | 120 618,0 KiB | [lista plików] |