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

Source
acl2
Version
8.0dfsg-1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 13 Jan 2018 20:22:05 +0000
Build-Path
/build/acl2-f5UamQ/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 16:47:54 +0000
SHA1 of .buildinfo
8b3046e894890b3e893c1180ed3f1b0cff9e55a1

Binaries

acl2 (acl2_8.0dfsg-1_s390x.deb)
SHA1: 38e1f39ab2fa5288d441c981edb5b8e16724302e
SHA256: de0e6358698e2b4dcd02aba658a8f6d040ec22165aecffc235727e8f4a3da2a8

Size: 18,081,996 bytes
acl2-books (acl2-books_8.0dfsg-1_s390x.deb)
SHA1: e38a3bb7797b6beac04e314834382ebcac3b84b8
SHA256: 19e6ee52a8acc3e01cd4fffb14464a84dae5d811ea67edbd83ea828862bb4855

Size: 127,759,264 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1_s390x.deb)
SHA1: 4067be8e825be99316e0b17578821bde70514666
SHA256: 4d93ba60e93eac6ea469433f548fb32ff8d1b7891d3861068f876bae40c1247c

Size: 406,576 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

hyeu3qhb
Submitted
Sat, 27 Oct 2018 16:47:54 +0000
Signed by
0x4CC106A8602C42E7

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1515765876"