Source
acl2
Version
8.1dfsg-3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 5 Apr 2019 02:05:13 +0000
Build-Path
/build/acl2-lNOHiO/acl2-8.1dfsg

First submitted
Fri, 5 Apr 2019 06:10:34 +0000
SHA1 of .buildinfo
448d7155e5b3133ffc64f2515b644f428fd2f7e0

Binaries

acl2 (acl2_8.1dfsg-3_arm64.deb)
SHA1: 2b0b72f7cf4d680b9efcc4aac37a210ad05dd5b1
SHA256: 0c57303943d8708ad442d458b0ac120e6e354e418f8096dd819543b2a8d2e9f6

Size: 18,228,452 bytes
acl2-books (acl2-books_8.1dfsg-3_arm64.deb)
SHA1: 8833997981f1bfb04234298cea6fd240d5a21b90
SHA256: 36f11da49af5dfd8b3bf707ee804cf9475aa4b286b6f07c490c7f7998d0b8e2a

Size: 160,454,552 bytes
acl2-infix (acl2-infix_8.1dfsg-3_arm64.deb)
SHA1: 0edff84f4498061df1ccf8d0224afafb359d4834
SHA256: 7ee2b630df968376911938e5cabdf7bb4da78968da15095857f7b0558da6f5e8

Size: 479,132 bytes

Other checksums

Submissions

Submitted
Fri, 5 Apr 2019 06:10:34 +0000
Signed by
0xE611BE85831E4433

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1554299249"