Source
acl2
Version
8.1dfsg-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 9 Dec 2019 06:23:07 +0000
Build-Path
/build/acl2-JUEIaL/acl2-8.1dfsg

First submitted
Mon, 9 Dec 2019 12:10:12 +0000
SHA1 of .buildinfo
5c060e65f44dd93bbd6a1958f471f2a54199ca4f

Binaries

acl2 (acl2_8.1dfsg-5_arm64.deb)
SHA1: b8069a2d0c7cb16ef708ccc9dc52a6f24791ad9e
SHA256: 20047e60250b27637e6220f8790e5156eedcf81a89359cdebfb21dc49a0960f1

Size: 18,267,584 bytes
acl2-books (acl2-books_8.1dfsg-5_arm64.deb)
SHA1: b7f410fd8cc6d5b4043e911b730f79cf083b40ec
SHA256: 4ca61df9249d8adc52ed2212b7789718f46fa225d5b9e6064270083bc771cc36

Size: 161,748,256 bytes
acl2-infix (acl2-infix_8.1dfsg-5_arm64.deb)
SHA1: 6b837bfaeadf2274df2caa02f4543c505b37d559
SHA256: 312ab59127483bc8141d9f0a88637790183163e80032d701006baacfe1193aaa

Size: 478,176 bytes

Other checksums

Submissions

Submitted
Mon, 9 Dec 2019 12:10:12 +0000
Signed by
0x8B2E5DF2A73F28C7

Environment


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