Source
acl2
Version
8.2dfsg-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Dec 2019 01:54:16 +0000
Build-Path
/build/acl2-sYLWxH/acl2-8.2dfsg

First submitted
Fri, 20 Dec 2019 06:11:45 +0000
SHA1 of .buildinfo
dcdf06a0fa0a12040b0c198d7936334f15a547cc

Binaries

acl2 (acl2_8.2dfsg-1_amd64.deb)
SHA1: 6ebaa42103268a72ef593e390f45190bf23a8dee
SHA256: c2e62f6994eb635a0e4ac00a14ec96bd52de3b9cdd9310354bf6b638467c04ee

Size: 21,903,916 bytes
acl2-books (acl2-books_8.2dfsg-1_amd64.deb)
SHA1: e49ff06a7b50a55e1774481ccbb4916dee22760c
SHA256: 19ba828ccdaca1fde52e6ced0a0fc160c465b0ab0cc1406d077546a1b9fa6ccf

Size: 171,689,716 bytes
acl2-infix (acl2-infix_8.2dfsg-1_amd64.deb)
SHA1: 0b522efd4759ee7e4d13244cd2e4f08acff043eb
SHA256: c93827a3c617e51b5594494fa049cdc3f7d8ce69f4f636e7fd41230318cd963a

Size: 491,896 bytes

Other checksums

Submissions

Submitted
Fri, 20 Dec 2019 06:11:45 +0000
Signed by
0xE9BEE1DBDA111424

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1576769407"