Source
acl2
Version
8.1dfsg-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 1 Nov 2019 05:13:26 +0000
Build-Path
/build/acl2-3x3pOf/acl2-8.1dfsg

First submitted
Fri, 1 Nov 2019 06:28:27 +0000
SHA1 of .buildinfo
2040e2fb0e0f7d77811e335903dc6cfba28c85f1

Binaries

acl2 (acl2_8.1dfsg-4_arm64.deb)
SHA1: 27da1a3caaacdf12f3ca7334374e835ddac19fc3
SHA256: f42a4d09b7f16fbddc98b5fa7ae79256629b0253bf7daf1be6e6162a586680a4

Size: 19,769,020 bytes
acl2-books (acl2-books_8.1dfsg-4_arm64.deb)
SHA1: 4c99d02100296359419179205983d2cf48b7517d
SHA256: 05af035dff9bfbe2e6cb318787cf6523dbee10ebdc75cf5a5b06d854875a502c

Size: 161,896,132 bytes
acl2-infix (acl2-infix_8.1dfsg-4_arm64.deb)
SHA1: 7962b1a253361ebd7275c86c33ea69e226890b43
SHA256: 7841a25edd32839413b130e2501df127354bd8aa7e4b000ef92942d5ce357bb4

Size: 479,912 bytes

Other checksums

Submissions

Submitted
Fri, 1 Nov 2019 06:28:28 +0000
Signed by
0x2052CFAF653F2630

Environment


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