Publishing details

• Published on 2023-10-24
• Copied from anything by xiewei
• Originally uploaded to openkylin yangtze in Primary Archive for openKylin

Changelog

acl2 (8.2dfsg-ok1) yangtze; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Apr 2022 22:03:04 +0800

Builds

• arm64
• i386
• riscv64

Built packages

• acl2 Computational Logic for Applicative Common Lisp: main binary

• acl2-books Computational Logic for Applicative Common Lisp: compiled libraries

• acl2-books-certs Computational Logic for Applicative Common Lisp: library certificates

• acl2-books-source Computational Logic for Applicative Common Lisp: library sources

• acl2-doc Computational Logic for Applicative Common Lisp: documentation

• acl2-emacs Computational Logic for Applicative Common Lisp: emacs interface

• acl2-infix Computational Logic for Applicative Common Lisp: infix interface

• acl2-infix-source Computational Logic for Applicative Common Lisp: infix source

• acl2-source Computational Logic for Applicative Common Lisp: source files

Package files

• acl2-books-certs_8.2dfsg-ok1_all.deb (84.1 MiB)
• acl2-books-source_8.2dfsg-ok1_all.deb (13.3 MiB)
• acl2-books_8.2dfsg-ok1_amd64.deb (189.5 MiB)
• acl2-doc_8.2dfsg-ok1_all.deb (420.6 KiB)
• acl2-emacs_8.2dfsg-ok1_all.deb (59.5 KiB)
• acl2-infix-source_8.2dfsg-ok1_all.deb (71.1 KiB)
• acl2-infix_8.2dfsg-ok1_amd64.deb (544.0 KiB)
• acl2-source_8.2dfsg-ok1_all.deb (3.2 MiB)
• acl2_8.2dfsg-ok1.debian.tar.xz (195.3 KiB)
• acl2_8.2dfsg-ok1.dsc (2.1 KiB)
• acl2_8.2dfsg-ok1_amd64.deb (24.5 MiB)
• acl2_8.2dfsg.orig.tar.gz (76.9 MiB)