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

Source
acl2
Version
8.3dfsg-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 1 Sep 2020 21:57:17 +0000
Build-Path
/build/2/acl2-8.3dfsg/2nd

First submitted
Tue, 1 Sep 2020 23:06:55 +0000
SHA1 of .buildinfo
c18490bfcf35ef9165c0b52db9419fdfe86a5881

Binaries

acl2 (acl2_8.3dfsg-1_i386.deb)
SHA1: 16218f1fafc319fb3397cae9dcf2dc535448f8e9
SHA256: 1dbd13cca0daa7ade477aff8b7aaba42d8bbda95d8338973e73896b94232ccc0

Size: 19,261,008 bytes
acl2-books (acl2-books_8.3dfsg-1_i386.deb)
SHA1: c2ccd43565c20541f201f2d71bfa491d3c11a65a
SHA256: 8aa8e1c2f77264375529dc503514b863cf5d4e62a11bc62e10271115e8d378e7

Size: 12,956 bytes
acl2-books-certs (acl2-books-certs_8.3dfsg-1_all.deb)
SHA1: 5ec8b54c7082f365c9820bd6569530a17781d40b
SHA256: d5f0c267f7a01532cc12695c9b443020e2e657b9bbbb63b1b11e930346d4bbd0

Size: 13,664 bytes
acl2-books-source (acl2-books-source_8.3dfsg-1_all.deb)
SHA1: 8e88fcdae745ebab9285adc2f0c8c51942488f2c
SHA256: 7b6d58b55ac8113324a8853bd27048d5817150bec593aa5a5d0e3c9ee61e3cf2

Size: 19,520,532 bytes
acl2-doc (acl2-doc_8.3dfsg-1_all.deb)
SHA1: 1f85bfb817172d4e23c47db66993157804580a47
SHA256: eed57d17a055c2634e384875f7eb76ff16ee92045cc802904f935200f38e43f8

Size: 447,424 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: 48861fc74530a2e361d0987521543983388131c0
SHA256: d96c312e69f80c0c6a449675b4ce643de902d712e0ddf96ec5d0acb65e853309

Size: 69,232 bytes
acl2-infix (acl2-infix_8.3dfsg-1_i386.deb)
SHA1: 63910afcc1ec3378f9197e37e1d5a0d9022b7b5a
SHA256: 7b024d7f694b6d9da5bc46e1c5aa738c63271fd85cfdefcfec506e8fedd5cec0

Size: 496,176 bytes
acl2-infix-source (acl2-infix-source_8.3dfsg-1_all.deb)
SHA1: 39735e53555d18a381a2a65ec95342a4bb1e7b52
SHA256: 9df0dc6995b9873c26d8aabff6265172e55a614a44ed1d00ad4fcead9b6d5bae

Size: 79,720 bytes
acl2-source (acl2-source_8.3dfsg-1_all.deb)
SHA1: 2a25f1c3e314a41329a3e0c3f33cb85fedefbae4
SHA256: 1c1c91f0d742ded3816a9b300e38f5c24791ba0dfc7436b1c767aec6220d0ddf

Size: 3,339,832 bytes

Other checksums

Submissions

xqyxsbnb
Submitted
Tue, 1 Sep 2020 23:06:56 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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