Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 23 Jul 2019 08:40:19 +0000
Build-Path
/build/acl2-N5wcog/acl2-8.1dfsg

First submitted
Tue, 23 Jul 2019 12:16:54 +0000
SHA1 of .buildinfo
bc2ce4f0bd3c54cf861dcee496d8d04a353e9d48

Binaries

acl2 (acl2_8.1dfsg-3+b1_arm64.deb)
SHA1: 4a2070006a435f617359ed2bb8e3a60ce387b73a
SHA256: e95d44bedca1593e15a71a913646e88a66d9101465cf6f916d519a398ed1f194

Size: 18,253,888 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_arm64.deb)
SHA1: 53827ab0d01a31279147a234b3c2a284c044db81
SHA256: 9afc4b874748ef7d9f498b7f04ddcc9c8d7f06bf6ea7d76fdfaadc4da1ca8dc2

Size: 160,506,132 bytes
acl2-infix (acl2-infix_8.1dfsg-3+b1_arm64.deb)
SHA1: 1c6a356037160087b990268959a4344736fd73c5
SHA256: ef75fed2c7004d6fdcb69425f6bead8f2e2769b0cef75b69a4f64b1af13c3c1d

Size: 476,760 bytes

Other checksums

Submissions

Submitted
Tue, 23 Jul 2019 12:16:54 +0000
Signed by
0x4BAF86D0AEEB3A9E

Environment


DEB_BUILD_OPTIONS="parallel=12"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1563732219"