Source
acl2
Version
8.1dfsg-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 5 Aug 2020 07:25:26 +0000
Build-Path
/build/1st/acl2-8.1dfsg

First submitted
Fri, 5 Jul 2019 00:42:34 +0000
SHA1 of .buildinfo
a23650b888e422f1921b8ea1192dc4adcc2ec42a

Binaries

acl2 (acl2_8.1dfsg-3_amd64.deb)
SHA1: e9d1461dea4f3a12ad78a68c6ba183895b9dbe9b
SHA256: 8b65d5fbb3c48fcc9af539241f2457f0ae1d05a25dc437a33acb2d4c094e4b23

Size: 20,340,176 bytes
acl2-books (acl2-books_8.1dfsg-3_amd64.deb)
SHA1: 38577377eb9a74659b83fc57000c97877d74214b
SHA256: eb2e63541c44f6893afd36eb4cbb21972a9154e8a25864b7d3cf9a778ac65c70

Size: 163,504,696 bytes
acl2-books-certs (acl2-books-certs_8.1dfsg-3_all.deb)
SHA1: 2132b8e69f87fc0277d994a2575f89a304f874f9
SHA256: 63149b3d78bfa71ec732da602f9fbfe0141197aa89d9c62294db1238102e8dc0

Size: 80,624,844 bytes
acl2-books-source (acl2-books-source_8.1dfsg-3_all.deb)
SHA1: e73ef074b595fe69373ed2d17022cae3dc2e0bee
SHA256: 1e8eeefd906f01d0d9ce6d1dc68aee5f8e6c304057abef779099c405d8101b0a

Size: 13,586,280 bytes
acl2-doc (acl2-doc_8.1dfsg-3_all.deb)
SHA1: 678a3acebf064a94141d1dd254de2ee93b4a0871
SHA256: 1d9100b252e2a84593e25762e94f5c9e6adcd278f45777755221e9b945ae0afb

Size: 413,188 bytes
acl2-emacs (acl2-emacs_8.1dfsg-3_all.deb)
SHA1: fa26ef217a4cecff88ac4fde82dfde26e2ca59a0
SHA256: 26ee0b82fe1d350fc28fa6b27b0939a6c6880ac53ce91634e7ca491255581208

Size: 67,760 bytes
acl2-infix (acl2-infix_8.1dfsg-3_amd64.deb)
SHA1: 5151c66c79cbca76ca98db50a8f424cafb98cce0
SHA256: d009c4e849db260f49b1b700bea239715389e835353a462a5b8426c16cb40cc6

Size: 491,808 bytes
acl2-infix-source (acl2-infix-source_8.1dfsg-3_all.deb)
SHA1: 292be436614cf148838d4ed35d5b4f5b5f5b8fb2
SHA256: 76caf00ee0b9aaa4323ce31a5ddffdfc620d4de3b10b85d3c4b17030315de7eb

Size: 79,404 bytes
acl2-source (acl2-source_8.1dfsg-3_all.deb)
SHA1: c960a9ea4938cc8265188d91b8d6107df5e5763e
SHA256: 3fc666e40f185b3f2cefb15ea4e8c0e207f4cadd2df8631e13ecd45a1a0e1526

Size: 3,133,000 bytes

Other checksums

Submissions

Submitted
Fri, 5 Jul 2019 00:42:34 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1554299249"