acl2_8.2dfsg-1_armhf.buildinfo (view)

Source
acl2
Version
8.2dfsg-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 21 Dec 2019 09:31:49 +0000
Build-Path
/build/acl2-voJVQS/acl2-8.2dfsg

First submitted
Sat, 21 Dec 2019 12:21:14 +0000
SHA1 of .buildinfo
7c5ed40d628fb39d3d6fc8451b1ed421cec81ff1

Binaries

acl2 (acl2_8.2dfsg-1_armhf.deb)
SHA1: 8b1a8d242d99a2e16e4042c4797f9f1f7fdf507b
SHA256: 07a237f8dac6b4bc9df3e3ba003eaaf7a455d75395bb39cee359190d389b90b6

Size: 18,815,376 bytes
acl2-books (acl2-books_8.2dfsg-1_armhf.deb)
SHA1: a60afdf13b5ec066d9dcdf0a75e01a90cb865d39
SHA256: f81ee6d08323d66c7290159a1f490c4da8f49c42840b2fb909e6b22361d45e7a

Size: 159,802,660 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.2dfsg-1_armhf.deb)
SHA1: 0499c4e74daafb1b9a18be52e3f63270c2cdae7e
SHA256: 5ca8e0a62ff68c1d88763c2a727023001c2a97b655943ced8a636ef27143ff6e

Size: 499,432 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ckoinoap
Submitted
Sat, 21 Dec 2019 12:21:15 +0000
Signed by
0x3C85D13B25FACEE6

Environment


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