Search in specific suite: [ecne] [ecne-updates] [ecne-security] [ecne-backports] [aramo] [aramo-updates] [aramo-security] [aramo-backports]
Limit search to a specific architecture: [i386] [amd64] [armhf] [arm64] [ppc64el] [riscv64]
Търсене във всички архитектури
Някои резултати не са показани поради ограничения на търсенето.
Търсене за пакети, чиито имена съдържат acl2-books в всички дистрибуции, всички раздели и архитектура(и) amd64. Намерени са 3 пакета.
Точни попадения
Пакет acl2-books
- aramo (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.4dfsg-2: amd64
Други резултати
Пакет acl2-books-certs
- aramo (math):
Computational Logic for Applicative Common Lisp: library certificates
8.4dfsg-2: all
Пакет acl2-books-source
- aramo (math):
Computational Logic for Applicative Common Lisp: library sources
8.4dfsg-2: all