openKylin acl2 package

acl2 8.2dfsg-ok1 source package in openKylin

Changelog

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

  * Build for openKylin.

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

Upload details

Uploaded by:
openKylinBot
Sponsored by:
luzp
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
acl2_8.2dfsg.orig.tar.gz 76.9 MiB 2548331764e904e00d654b5d703b6e0b43992a1716a40fd8f5ac322052cef987
acl2_8.2dfsg-ok1.debian.tar.xz 195.3 KiB 3abeb16bf265ab82936aef00ee9f7ec1ff167c1a8e9893e3ffd2309c82192d34
acl2_8.2dfsg-ok1.dsc 2.1 KiB dbb2444834cc6d5ccca9a39375563eca2c52f6da4d76b0fcdbec66f078256b3c

View changes file

Binary packages built by this source

acl2: No summary available for acl2 in openkylin yangtze.

No description available for acl2 in openkylin yangtze.

acl2-books: No summary available for acl2-books in openkylin yangtze.

No description available for acl2-books in openkylin yangtze.

acl2-books-certs: No summary available for acl2-books-certs in openkylin yangtze.

No description available for acl2-books-certs in openkylin yangtze.

acl2-books-source: No summary available for acl2-books-source in openkylin yangtze.

No description available for acl2-books-source in openkylin yangtze.

acl2-doc: No summary available for acl2-doc in openkylin yangtze.

No description available for acl2-doc in openkylin yangtze.

acl2-emacs: No summary available for acl2-emacs in openkylin yangtze.

No description available for acl2-emacs in openkylin yangtze.

acl2-infix: No summary available for acl2-infix in openkylin yangtze.

No description available for acl2-infix in openkylin yangtze.

acl2-infix-source: No summary available for acl2-infix-source in openkylin yangtze.

No description available for acl2-infix-source in openkylin yangtze.

acl2-source: No summary available for acl2-source in openkylin yangtze.

No description available for acl2-source in openkylin yangtze.