Source
acl2
Version
8.2dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 27 Dec 2019 09:44:23 +0000
Build-Path
/build/acl2-H42WLW/acl2-8.2dfsg

First submitted
Fri, 27 Dec 2019 12:14:50 +0000
SHA1 of .buildinfo
a2c0b459ca6aa6719e5e7712308d3764b1c71ac1

Binaries

acl2 (acl2_8.2dfsg-2_arm64.deb)
SHA1: 61cb4bef50a74cf6b87b9c1ae84711ed47d23c5f
SHA256: d5a5e3bfa5e19c819d97f9b08edb1aa4a739c2ab58ee2267f6f2f87dd065f7f4

Size: 20,296,140 bytes
acl2-books (acl2-books_8.2dfsg-2_arm64.deb)
SHA1: c93309201b258b7877fe77c29955c4ea0e6404f6
SHA256: 00bb8f792dc4e68bb0b21a056ba96bcc6850a6ca5d249d300ad6eeb4e19ced9b

Size: 169,348,548 bytes
acl2-infix (acl2-infix_8.2dfsg-2_arm64.deb)
SHA1: 4fcf8cc40bca8f612ae01b232e1315a33500145b
SHA256: 0c25b7bcb70335fc43f51b67b93d1b70cbd392afcab24d9289648a40d12de1a3

Size: 480,220 bytes

Other checksums

Submissions

Submitted
Fri, 27 Dec 2019 12:14:50 +0000
Signed by
0x2052CFAF653F2630

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577393229"