Source
acl2
Version
8.1dfsg-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 31 Mar 2019 07:53:03 +0000
Build-Path
/build/acl2-qfkC75/acl2-8.1dfsg

First submitted
Sun, 31 Mar 2019 12:10:17 +0000
SHA1 of .buildinfo
133b767c481fc13bef5ce7b5f658a0e9fab5ffdd

Binaries

acl2 (acl2_8.1dfsg-2_arm64.deb)
SHA1: 30d2054d0940360a6ce80559c7e22b0faaa9138e
SHA256: 5dc358e21a088e1cf082b9e154501b824f73c7ef383534189bbb3eea2f2113fd

Size: 18,220,132 bytes
acl2-books (acl2-books_8.1dfsg-2_arm64.deb)
SHA1: 96c14553c9c8de725c002809e2855b72a299d7e4
SHA256: 42123de583b09f63f1cc35dbb1cd7c9d539ab74db76f39e8a69f90e93900ca76

Size: 160,457,736 bytes
acl2-infix (acl2-infix_8.1dfsg-2_arm64.deb)
SHA1: 35661ce244887c97ed6c1af6e105270be081388f
SHA256: f5008f49a396d5b6874bcb4c3fbca2cf9ab17c8a3490ba4bca8e7818b1763521

Size: 478,288 bytes

Other checksums

Submissions

Submitted
Sun, 31 Mar 2019 12:10:17 +0000
Signed by
0x8138E87214AC1155

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1553866750"