Source
acl2
Version
8.2dfsg-3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 1 Jan 2020 23:27:25 +0000
Build-Path
/build/acl2-2rLsXE/acl2-8.2dfsg

First submitted
Thu, 2 Jan 2020 01:04:53 +0000
SHA1 of .buildinfo
9732f05e5b7cbbe92f2fb089fc00f294b62e63a4

Binaries

acl2 (acl2_8.2dfsg-3_armel.deb)
SHA1: 72d8f79620389f6cebbafe129caeefff29ca84dc
SHA256: 2d3ce9583b32fab6970f6f95673c9b4ed138b8f38e9a4f13bc7bdeb90df2bf9d

Size: 17,885,420 bytes
acl2-books (acl2-books_8.2dfsg-3_armel.deb)
SHA1: db3815e3c2056836db768acb78694ee4cd39f135
SHA256: 0b82f34ac515e6cdd0c985a9deb632b3fb643ac9a94011ad21bead61cac13992

Size: 154,502,728 bytes
acl2-infix (acl2-infix_8.2dfsg-3_armel.deb)
SHA1: f198820ba213ba04d936d197a2d4edf6e098b425
SHA256: 9cdda1a7e55721ee2ab0dcb4d4a3bb643853a052d3366865b82baf086adbc38c

Size: 473,568 bytes

Other checksums

Submissions

Submitted
Thu, 2 Jan 2020 01:04:53 +0000
Signed by
0x83588339C6D021EF

Environment


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