Package Details - acl2-books-certs

Metadata
Version
8.6+dfsg-3
Architecture
all
Section
universe/math
Priority
optional
Source
acl2
Origin
Ubuntu
Maintainer
Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original Maintainer
Camm Maguire <camm@debian.org>
Bugs
https://bugs.launchpad.net/ubuntu/+filebug
Homepage
https://www.cs.utexas.edu/users/moore/acl2/
Description

Computational Logic for Applicative Common Lisp: library certificates

Relations
Depends
acl2 (>= 8.6+dfsg-3) tex-common (>= 6.13)
Breaks
acl2 (<= 2.7-9)
Replaces
acl2 (<= 2.7-9)
Reverse Dependencies
Loading…
How to Install

Step 1: Add this APT server

Option A: Using APKG CLI (recommended):

sudo apkg add-source https://apkg-dev.aiursoft.com/api/sources/1

Don't have apkg? See how to install APKG CLI.

Option B: Manual bash setup:

sudo mkdir -p /usr/share/keyrings && \
curl -sL https://apkg-dev.aiursoft.com/artifacts/certs/anduinos | gpg --dearmor | sudo tee /usr/share/keyrings/anduinos-archive-keyring.gpg > /dev/null && \
echo "Types: deb
URIs: https://apkg-dev.aiursoft.com/artifacts/anduinos/
Suites: questing
Components: main restricted universe multiverse
Architectures: amd64
Signed-By: /usr/share/keyrings/anduinos-archive-keyring.gpg" | sudo tee /etc/apt/sources.list.d/apkg-1.sources && \
sudo apt update

Step 2: Install the package

sudo apt install acl2-books-certs
Status & Files

Storage State: Virtual (Lazy Sync)

Download Size: 274085 KB

Installed Size: 841642 B

Component: universe

Hashes
SHA256: 74dd5995c6c51b512057bdab6b01efb75b799d57a130ea05b8e6b0c2154bd227 SHA1: 0c773699c0141d4d40abac46d51a49e67690cc3e MD5: db45da154f4e0db7b655edc9bd8c8490
Download .deb Upstream URL
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.

Back