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

Source
acl2
Version
8.2dfsg-2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Sat, 28 Dec 2019 17:50:03 +0000
Build-Path
/build/acl2-eRNcbh/acl2-8.2dfsg

First submitted
Sat, 28 Dec 2019 19:29:43 +0000
SHA1 of .buildinfo
6ce6e378aa854ffb57b2e540caa00755fffcb821

Binaries

acl2 (acl2_8.2dfsg-2_mipsel.deb)
SHA1: 56c56d9e7f122c322078ed3d9d09913456efd563
SHA256: ea2d6c9bb97ddc7af08ac7350ac3140aa5e46161e92e6b93cc04af6342a0a473

Size: 18,802,532 bytes
acl2-books (acl2-books_8.2dfsg-2_mipsel.deb)
SHA1: 5231b08463a76645b63425ce2bd309ba617d1ae5
SHA256: b2c1485a467a0b9f325fccd4e80da03069a1a1c8a1cce16540691e5598ee0ed3

Size: 168,433,680 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-2_mipsel.deb)
SHA1: a3ef208971ee9f9c290cc281dabea2afeb3ecf77
SHA256: 34d7216381340780f32a49ca6a23b7770bd70b2ded3cfdcd5a9cd2f0b1ded1e2

Size: 514,636 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

xoceeyq9
Submitted
Sat, 28 Dec 2019 19:29:44 +0000
Signed by
0xC0BF082DA8AD6020

Environment


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