Source
acl2
Version
8.1dfsg-6
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 11 Dec 2019 07:21:20 +0000
Build-Path
/build/acl2-Qt0pLz/acl2-8.1dfsg

First submitted
Wed, 11 Dec 2019 12:23:59 +0000
SHA1 of .buildinfo
572c1c83c6159559c8ebf874193c514e6c00b1ae

Binaries

acl2 (acl2_8.1dfsg-6_arm64.deb)
SHA1: f98f148beb67df41284dfe5eebb0ef386dbd930d
SHA256: 59b4c82b728d64739000a84405decf6207e0d99e9a2e0b0526431f0c22bf8d48

Size: 18,414,472 bytes
acl2-books (acl2-books_8.1dfsg-6_arm64.deb)
SHA1: b1ad16eb76d0ce31c5604c7bb895af35d91c8c0b
SHA256: 693ebb2940b5b09aad2dbf2d61cab841a18674312e196224415d14fa755738f5

Size: 161,870,656 bytes
acl2-infix (acl2-infix_8.1dfsg-6_arm64.deb)
SHA1: 3eea6ecad799eb39499b5372b553d4f8937775fe
SHA256: 51b1694f29c399f94070413548071cd485f81cb461f358713d1c2be3d909efaf

Size: 480,460 bytes

Other checksums

Submissions

Submitted
Wed, 11 Dec 2019 12:23:59 +0000
Signed by
0x57B817F3D2848950

Environment


DEB_BUILD_OPTIONS="parallel=16"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1575901290"