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

Source
acl2
Version
8.2dfsg-2
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 27 Dec 2019 03:32:49 +0000
Build-Path
/build/acl2-ULmn3C/acl2-8.2dfsg

First submitted
Fri, 27 Dec 2019 06:12:10 +0000
SHA1 of .buildinfo
7b286d16dcfd01713bc8251f8d985a8553572093

Binaries

acl2 (acl2_8.2dfsg-2_s390x.deb)
SHA1: 46e903dc45ded36a068f6eb6652fcffa54b89f8a
SHA256: 4f3944bcb3bbd14f95490bcf044b4303463a7944a22aed554ee7c530ea0709f5

Size: 21,118,060 bytes
acl2-books (acl2-books_8.2dfsg-2_s390x.deb)
SHA1: cc7ccd5d761274b40e09182880b4020f8448a691
SHA256: 452be076bc57f2f8cea615d3bcf3acf604063966f60b48d83d2d42672e60282f

Size: 157,307,812 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-2_s390x.deb)
SHA1: 1e5b6738d3537255f526244dc845fcfcf5a926d0
SHA256: cfde45ccd63ee2f130568243c08da4df89f423d30cd83a258ef81f3b202f9790

Size: 451,660 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

mjqvdvyq
Submitted
Fri, 27 Dec 2019 06:12:10 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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