acl2_8.2dfsg-2_armhf.buildinfo (view)

Source
acl2
Version
8.2dfsg-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 28 Dec 2019 13:44:39 +0000
Build-Path
/build/acl2-ZzNqiC/acl2-8.2dfsg

First submitted
Sat, 28 Dec 2019 18:33:33 +0000
SHA1 of .buildinfo
ad79549227df25b92f046b1725c3f71a927805de

Binaries

acl2 (acl2_8.2dfsg-2_armhf.deb)
SHA1: 5bfa066d8c9a02b52d431518af941a7860852222
SHA256: 3acf7e7d8bbd0b14972780480608abce86e0d629e4f9c27b9d2a85e0a28dc473

Size: 18,798,224 bytes
acl2-books (acl2-books_8.2dfsg-2_armhf.deb)
SHA1: 9c8a790303089c49d593467f32bb22475bbe4caf
SHA256: 660cadfd01d7fb058cf23c4d1fedfa6233aad9e077090eeb195b4c1be7061791

Size: 159,815,140 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-2_armhf.deb)
SHA1: ebbb81109f5902b76c4e54aa3223c5e8d9d1f4d9
SHA256: 261a84740505b1c6fd31e1ecb32a663cdf4e1ebf626ed6373abb2daa35230f76

Size: 499,624 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

fgvyxyiv
Submitted
Sat, 28 Dec 2019 18:33:34 +0000
Signed by
0x2F7FE489BACF2560

Environment


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