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

Source
acl2
Version
8.3dfsg-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 24 Aug 2020 04:49:47 +0000
Build-Path
/build/acl2-alQdcV/acl2-8.3dfsg

First submitted
Mon, 24 Aug 2020 06:13:18 +0000
SHA1 of .buildinfo
95f75b1f990fd34d048edcae9e22746184818e1d

Binaries

acl2 (acl2_8.3dfsg-1_i386.deb)
SHA1: eb5340c8e13d7b7f2969a603e7e364ceb6306021
SHA256: 4676a0f1053dd297412a49919bd503e8938fa7f937c93e4a8fd8b3922607b87a

Size: 19,214,076 bytes
acl2-books (acl2-books_8.3dfsg-1_i386.deb)
SHA1: c2ccd43565c20541f201f2d71bfa491d3c11a65a
SHA256: 8aa8e1c2f77264375529dc503514b863cf5d4e62a11bc62e10271115e8d378e7

Size: 12,956 bytes
acl2-infix (acl2-infix_8.3dfsg-1_i386.deb)
SHA1: 8d18d266fed8a29576e1771667e3fef2d10de791
SHA256: 2e204f741ec46fdcafa44701df978ec7aeb1a4f4b34b292300c17a7dd3ad86ce

Size: 497,304 bytes

Other checksums

Submissions

9aaoeqwv
Submitted
Mon, 24 Aug 2020 06:13:19 +0000
Signed by
0xC4B5B7264A7625EE

Environment


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