acl2_8.1dfsg-5_armel.buildinfo (view)

Source
acl2
Version
8.1dfsg-5
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 10 Dec 2019 11:43:52 +0000
Build-Path
/build/acl2-YmY5Oc/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 18:10:12 +0000
SHA1 of .buildinfo
3a2b4cdf533544cf3d1d5f07d3060ad1970a425e

Binaries

acl2 (acl2_8.1dfsg-5_armel.deb)
SHA1: 8ed7035d27c69e036ff9d0a0cdede177238a569d
SHA256: 87a2492ebfcdf72e9af5e72137a156357e81e928a918b7c1f730f4de1ad72142

Size: 17,912,508 bytes
acl2-books (acl2-books_8.1dfsg-5_armel.deb)
SHA1: 010aa18f21151f682fc448afd36b40c9ed854b6b
SHA256: ba620723cfff876b3ceb85efe56f6d3a04fbb833069720f4a2c6815a585000af

Size: 147,122,864 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-5_armel.deb)
SHA1: 402df338af766af59bb63d5d3ac03912870fe64c
SHA256: 95472aa0116b73b1c58fc600b56c0e10fe20bc422b0bfbc03396c478dca79a49

Size: 474,044 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

7dxinybo
Submitted
Tue, 10 Dec 2019 18:10:12 +0000
Signed by
0xEC824538D5BC17E3

Environment


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