Source
acl2
Version
8.0dfsg-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 8 Jan 2021 14:56:40 +0000
Build-Path
/build/acl2-8.0dfsg

First submitted
Sun, 8 Dec 2019 05:50:54 +0000
SHA1 of .buildinfo
824316652eab3cb72a30c66453f2ee8970c40bb7

Binaries

acl2 (acl2_8.0dfsg-1_i386.deb)
SHA1: 4b76f9f695cfcb4f4c1381ef4b518ffdad259c89
SHA256: 5e2b24b9d06e5f73f2851a69cc322b9b954c50800b22b86ba9c6c459edcc3d60

Size: 17,847,140 bytes
acl2-books (acl2-books_8.0dfsg-1_i386.deb)
SHA1: b7befcc79d274000a98a4656dd564e6df35f5771
SHA256: 8ee0b171472a3f96a19ec4c03704d44ae7fb1dc75774b2f330b743489174d5ff

Size: 133,197,264 bytes
acl2-books-certs (acl2-books-certs_8.0dfsg-1_all.deb)
SHA1: 8bf3a0c98241876ff4ed01181c28abb5e17d4502
SHA256: daab0d79fddb61b6cea52711b2dc2480fc1bdffcf41e4780092f67799ed02056

Size: 73,314,240 bytes
acl2-books-source (acl2-books-source_8.0dfsg-1_all.deb)
SHA1: 64384b79f9b50785c6749e4ea46db331d869c871
SHA256: cc6b1492d6ee07a06bb2209e9060e675596bda64ca92f3ec51a7851f5b1de1a9

Size: 12,473,476 bytes
acl2-doc (acl2-doc_8.0dfsg-1_all.deb)
SHA1: 4279f6c499fe52750fb40d158bdaa2d5bf7b1b19
SHA256: cf19ce5df776528994f53a73d8a3adde700f04da12639d8fa2e570f425ea12ca

Size: 401,588 bytes
acl2-emacs (acl2-emacs_8.0dfsg-1_all.deb)
SHA1: 75037b97458be2657e39a5f70558edc1c29522a0
SHA256: 76d3f4e1eab5383dc27ae7eaf534fc04c6bceab1df4d1864a21f90e3dc01ecfb

Size: 67,628 bytes
acl2-infix (acl2-infix_8.0dfsg-1_i386.deb)
SHA1: 657a34d1600aac1ec341bcb46a8b3dac5759233b
SHA256: 7a849c4a04d2d036cd72f398a73e173a81cba29773e831ec5009ed1d35cd0a52

Size: 453,260 bytes
acl2-infix-source (acl2-infix-source_8.0dfsg-1_all.deb)
SHA1: 9c4e6f5f56ad937d180f88f4fcc2d293a17bbc89
SHA256: 4a13b1cf0e1e691d4c6be752dc37650cf82294b28c05fda7cf001ced6239dfd1

Size: 79,188 bytes
acl2-source (acl2-source_8.0dfsg-1_all.deb)
SHA1: dca9026fa50ad57ba6a74f723053bd730fa275f8
SHA256: cf15c12dcfb7679a1a9cf302d858fcb9b9afd5622afe27b9e16dfdf509ba51a4

Size: 3,081,312 bytes

Other checksums

Submissions

Submitted
Sun, 8 Dec 2019 05:50:55 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1515765876"