Source
acl2
Version
8.1dfsg-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 5 Mar 2019 12:15:25 +0000
Build-Path
/build/acl2-QGSt6q/acl2-8.1dfsg

First submitted
Tue, 5 Mar 2019 18:10:23 +0000
SHA1 of .buildinfo
97b3544b7e55757e4bc3651a76b6bcd6784d7103

Binaries

acl2 (acl2_8.1dfsg-1_armhf.deb)
SHA1: b69b38ffc5a48f48d2a840971b42b063dad7f382
SHA256: d1faf59bf494b746739cff6bd7b9b7a2374f610203d6947963e1d8dc3598ca44

Size: 17,770,244 bytes
acl2-books (acl2-books_8.1dfsg-1_armhf.deb)
SHA1: 7677be201357258843276741997d40a91af70909
SHA256: c3a03d2c9e0f54ea1b275edf9cc2167dc4c64e40c10d99140bfd602468307125

Size: 147,473,312 bytes
acl2-infix (acl2-infix_8.1dfsg-1_armhf.deb)
SHA1: c4be8de1993e0924937026b95c75b0b02a0258cb
SHA256: c0209f5ef8016b316e0341c7685d20ce2599645ae025afb4d4cd4fc4b7c26f93

Size: 463,680 bytes

Other checksums

Submissions

Submitted
Tue, 5 Mar 2019 18:10:24 +0000
Signed by
0x49616C2BAC080B32

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1551376739"