Source
acl2
Version
7.4dfsg-3.1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 10 Aug 2017 02:56:44 +0000
Build-Path
/build/acl2-8c1d1v/acl2-7.4dfsg

First submitted
Sat, 27 Oct 2018 15:46:39 +0000
SHA1 of .buildinfo
1d4f4b5f5f0d0f7b0e937b3c507d0d89a8b467f3

Binaries

acl2 (acl2_7.4dfsg-3.1_arm64.deb)
SHA1: c55da9650f657fcd3b5bae9e92bd40a289557819
SHA256: c3722c5a7526b7b2ee644ea82565e8acd664fbd1657b3f340f801bb31bf200e9

Size: 17,301,226 bytes
acl2-books (acl2-books_7.4dfsg-3.1_arm64.deb)
SHA1: 41bd20ec0a4f70a204fda67ccbfb74d79948c262
SHA256: 269c8fcca0eaad1b8cac59236104f9e5dd5170a31339eb8e7c8890aa9d245865

Size: 126,910,308 bytes
acl2-infix (acl2-infix_7.4dfsg-3.1_arm64.deb)
SHA1: 704f1b8f520fc866b9a3a57675f902c5f5b6ac8f
SHA256: 56e8d1fdc8da6e40538b0cc233f860f4e58a75a70eecbddd8f6cbc5c2193f187

Size: 439,380 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 15:46:39 +0000
Signed by
0xAE5F1194F1476982

Environment


DEB_BUILD_OPTIONS="parallel=6"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1501795663"