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

Source
acl2
Version
8.4dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 2 Nov 2021 03:05:47 +0000
Build-Path
/build/acl2-YY69Iy/acl2-8.4dfsg

First submitted
Tue, 2 Nov 2021 06:11:09 +0000
SHA1 of .buildinfo
3bd4975656fa4f941fd3da111463bdf1f3da0045

Binaries

acl2-books-certs (acl2-books-certs_8.4dfsg-2_all.deb)
SHA1: fdcc074bf91660a1a07200fb7507c221dbe5eb36
SHA256: 29aa947371e820268f1b3ebaae8dbb75e453ef3047b90c1fcd26f6a7ca70bdc0

Size: 175,671,700 bytes
acl2-books-source (acl2-books-source_8.4dfsg-2_all.deb)
SHA1: e01e408af929a64295884adf94c82aa671c3f193
SHA256: ecb736dcbd8d8ca2fd969022ecafa2cd537dabe9d8536751eabae66554f75c14

Size: 22,957,348 bytes
acl2-doc (acl2-doc_8.4dfsg-2_all.deb)
SHA1: 352f0b133783ec4f04bda3ff3caf6299ae4b0723
SHA256: 063654f69f9b5aa10f1f671fcf3a34e3178141f989b48982718302756df74f22

Size: 455,872 bytes
acl2-infix-source (acl2-infix-source_8.4dfsg-2_all.deb)
SHA1: 794ccd6e2846c24bc96ad8ae0df9a2cad185283c
SHA256: 890fd714302f9f1f54b3ffb2591dad11c2bb247d112ee11edf00bd330ba6911f

Size: 80,080 bytes
acl2-source (acl2-source_8.4dfsg-2_all.deb)
SHA1: e4cbc7056418af269a222b5abf94e91d5454b6bb
SHA256: 88948029f715541afdb7b394eea32f0e9c9eb34df07b3189cedbd99f2e59228e

Size: 3,481,192 bytes
elpa-acl2 (elpa-acl2_8.4dfsg-2_all.deb)
SHA1: 0e0115d6c545d6d86783549ffe6c2653d7506406
SHA256: af909c96c3eb6c5634b5e73fa54c86877e7acfafaa15ab7e9706613bbb760960

Size: 77,228 bytes

Other checksums

Submissions

tca4gvvz
Submitted
Tue, 2 Nov 2021 06:11:09 +0000
Signed by
0x92CDBA4D667C71F3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1635516393"