acl2_8.1dfsg-4_amd64.buildinfo (view)

Source
acl2
Version
8.1dfsg-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 1 Nov 2019 03:17:21 +0000
Build-Path
/build/acl2-99DaBH/acl2-8.1dfsg

First submitted
Fri, 1 Nov 2019 06:28:33 +0000
SHA1 of .buildinfo
be4dc048dad92e689ebb3dd6060e0f3d3d018626

Binaries

acl2 (acl2_8.1dfsg-4_amd64.deb)
SHA1: c38b7bb3b5d168fd366882ddc560dc211f1d8256
SHA256: 6e687e2909eb798d7500d2a6b1c8b3075688807b9ea93748610ee550fa7c3aa3

Size: 20,359,620 bytes
acl2-books (acl2-books_8.1dfsg-4_amd64.deb)
SHA1: 232b84ff5f1418ad26bfd3253f1a0fd77c162282
SHA256: 754ae39a1eddd7dbb6ebaadd086798263ac3cbe5a6e928be8373768181809639

Size: 163,792,116 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-4_amd64.deb)
SHA1: 93812f7ec008c6106bb56bb509b55ac0cc632145
SHA256: 45cf6bf0f1f32f3cb3d6f887b7c194c6943a105ce53e0a1dd29108f055fb1145

Size: 492,664 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ij3oktpe
Submitted
Fri, 1 Nov 2019 06:28:33 +0000
Signed by
0xD9795CB00A61AF5E

Environment


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