Detalhes do Pacote - acl2-books-certs

Metadados
Versão
8.6+dfsg-3
Arquitetura
all
Secção
universe/math
Prioridade
optional
Origem
acl2
Origem
Ubuntu
Responsável
Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Mantenedor Original
Camm Maguire <camm@debian.org>
Avisos
https://bugs.launchpad.net/ubuntu/+filebug
Página inicial
https://www.cs.utexas.edu/users/moore/acl2/
Descrição

Computational Logic for Applicative Common Lisp: library certificates

Relações
Depends
acl2 (>= 8.6+dfsg-3) tex-common (>= 6.13)
Breaks
acl2 (<= 2.7-9)
Replaces
acl2 (<= 2.7-9)
Dependências Reversas
A carregar…
Estado e Ficheiros

Estado de Armazenamento: Virtual (Sincronização Preterida)

Tamanho do Download: 274085 KB

Tamanho Instalado: 841642 B

Componente: universe

Hashes
SHA256: 74dd5995c6c51b512057bdab6b01efb75b799d57a130ea05b8e6b0c2154bd227 SHA1: 0c773699c0141d4d40abac46d51a49e67690cc3e MD5: db45da154f4e0db7b655edc9bd8c8490
Transferir .deb URL do projeto
What is a Package?

A .deb package is a software bundle ready to install on Debian/Ubuntu systems. It contains binaries, configs, and dependency metadata.

How to use: First add the APT repository via sudo apkg add-source, then sudo apt install @pkg.Package. Or download the .deb directly.

Voltar