acl2_8.1dfsg-4_s390x.buildinfo (view)

Source
acl2
Version
8.1dfsg-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 1 Nov 2019 00:54:26 +0000
Build-Path
/build/acl2-OOM0UQ/acl2-8.1dfsg

First submitted
Fri, 1 Nov 2019 02:19:18 +0000
SHA1 of .buildinfo
e3b6b989c6a8594d59cb40633c5709dbbc569677

Binaries

acl2 (acl2_8.1dfsg-4_s390x.deb)
SHA1: fb262ab0e78bbc361041e37af67ba4af2882c456
SHA256: fe29fda329d64b43459da65f20e528762a9bebc828017d8b91f0120af8bfe4a0

Size: 20,326,528 bytes
acl2-books (acl2-books_8.1dfsg-4_s390x.deb)
SHA1: 560be2b468b1e94bd74de229097d9faf6b488045
SHA256: 5bb06f2722fa35fd259d1292e96abd2d0ec6d8efe5a9a71f5c9e50fbe2834a28

Size: 151,030,004 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-4_s390x.deb)
SHA1: 2d6b45fefb420ca8f7e750e8ff0b0bb2e003e768
SHA256: 167c3ad3b58ebcae36e71ca25c94da859ef3210b3cb0565aaba61bd867c8c7ff

Size: 450,488 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

p4nr4qbd
Submitted
Fri, 1 Nov 2019 02:19:18 +0000
Signed by
0x7057D4D074EA5A5F

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1572542269"