acl2_8.3dfsg-2_all.buildinfo (view)

Source
acl2
Version
8.3dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 28 Jan 2021 02:12:26 +0000
Build-Path
/build/acl2-CAp2H4/acl2-8.3dfsg

First submitted
Thu, 28 Jan 2021 06:12:01 +0000
SHA1 of .buildinfo
7d8d3748c8a29450d7e1de5493a75f2227e22722

Binaries

acl2-books-certs (acl2-books-certs_8.3dfsg-2_all.deb)
SHA1: 4119dc9870a147fc9661acd646ff574cbf3cd732
SHA256: d658a4265a5e80037c614f98b2c4e2aedaafe88f958f8967543dcfea629a0fff

Size: 145,388,148 bytes
acl2-books-source (acl2-books-source_8.3dfsg-2_all.deb)
SHA1: b035bc8bd2abacac6a4c5812d1f8902ad01a85e8
SHA256: f0071a404d2fad47a8677a0cd42ee7fbddd33c46388d52a86464b9cb39e6402e

Size: 19,539,252 bytes
acl2-doc (acl2-doc_8.3dfsg-2_all.deb)
SHA1: 157ded2420db62c7b9ac211e4f223e22cf94eaa2
SHA256: e5366a6b99036429417be9818ebe3b94c92693420cadd05274d69e9e86f63493

Size: 447,608 bytes
acl2-emacs (acl2-emacs_8.3dfsg-2_all.deb)
SHA1: f8b4a8bcbbfec19e9893dae6d560a302aeafe868
SHA256: d61f049105433b191def6f34b3b13f4b02003602fa162d28277a1efe942474f8

Size: 69,412 bytes
acl2-infix-source (acl2-infix-source_8.3dfsg-2_all.deb)
SHA1: 805be373aa177ddf12c7f4782e5875bd5f2c219a
SHA256: 39aa50458ee2ba7d136f7025e9aa4aa5e7ae064b4f4b1022334922f7d152c441

Size: 79,880 bytes
acl2-source (acl2-source_8.3dfsg-2_all.deb)
SHA1: 18e676d55b215d1ed6406f7dc2270094efc1729b
SHA256: c8a067e12ba884802fbbbc8b4895edb1a500bfc1030dc7066a5cef8e8e455e4e

Size: 3,339,896 bytes

Other checksums

Submissions

akgeaxcd
Submitted
Thu, 28 Jan 2021 06:12:01 +0000
Signed by
0xC6EA344ECA1497EA

Environment


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