acl2_8.3dfsg-1_armhf.buildinfo (view)

Source
acl2
Version
8.3dfsg-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 24 Aug 2020 04:02:11 +0000
Build-Path
/build/acl2-Lja1No/acl2-8.3dfsg

First submitted
Mon, 24 Aug 2020 06:12:51 +0000
SHA1 of .buildinfo
cd9ea7a32348cbfd451a4f26c4187b534f4017d4

Binaries

acl2 (acl2_8.3dfsg-1_armhf.deb)
SHA1: 3fd8cae8099cabb28351a55adcaf271167042a8c
SHA256: 615dd4a4345a5722bed37d2222b49297e15702a37e7e654c48f353e6563c0c96

Size: 18,300,900 bytes
acl2-books (acl2-books_8.3dfsg-1_armhf.deb)
SHA1: d750de57e8d4a0d4f809f6ae3c48a443f392c891
SHA256: a2ea00bff227b3fa8450e4b8a8adf815657ca8f36e091d2eabdbe9acc653d33e

Size: 12,956 bytes
acl2-infix (acl2-infix_8.3dfsg-1_armhf.deb)
SHA1: a3fb36e06c2be2175c934654994fe8bd5fcf8d2c
SHA256: cc996727753256c26cbd5607ca69f642c20ff663a7aa88f5d791c932d159a721

Size: 454,212 bytes

Other checksums

Submissions

pnyw4mp7
Submitted
Mon, 24 Aug 2020 06:12:51 +0000
Signed by
0x289DB3F819B2E0DD

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1598106562"