パッケージ詳細 - acl2-books-certs
メタデータ
- バージョン
- 8.6+dfsg-3
- アーキテクチャ
all- セクション
universe/math- 優先度
optional- ソース
acl2- 起源
- Ubuntu
- メンテナ
- Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
- 元のメンテナー
- Camm Maguire <camm@debian.org>
- バグ
- https://bugs.launchpad.net/ubuntu/+filebug
- ホームページ
- https://www.cs.utexas.edu/users/moore/acl2/
- 説明
Computational Logic for Applicative Common Lisp: library certificates
関係
逆依存関係
読み込み中…
ステータスとファイル
ストレージ状態: 仮想（遅延同期）
ダウンロードサイズ: 274085 KB
インストール済みサイズ: 841642 B
コンポーネント: universe
ハッシュ
SHA256: 74dd5995c6c51b512057bdab6b01efb75b799d57a130ea05b8e6b0c2154bd227 SHA1: 0c773699c0141d4d40abac46d51a49e67690cc3e MD5: db45da154f4e0db7b655edc9bd8c8490What 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.