Source
acl2
Version
8.3dfsg-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 23 Jan 2021 06:53:16 +0000
Build-Path
/build/acl2-8.3dfsg

First submitted
Sat, 23 Jan 2021 07:42:11 +0000
SHA1 of .buildinfo
1aff6505ace32f0c7208c5798a46180b67be3bbb

Binaries

acl2 (acl2_8.3dfsg-1_i386.deb)
SHA1: 45785039b4ac2c975b602bfbfa30a51e3cf153be
SHA256: 9b5325c092ae63e2a5b5069717da70892d4dcf53eb245eb61024a3c7d68fa68f

Size: 19,218,764 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: e8390f7f75078754776b9042d1581a816ae60d0d
SHA256: 9139f8a75d4bd0ecd12543336388200db0e2fdafa07cf91c3f8f84ef49389487

Size: 447,460 bytes
acl2-emacs (acl2-emacs_8.3dfsg-1_all.deb)
SHA1: a9ee517ccb2b465cfb3a054805167ead5e51a56a
SHA256: b098dc617dc4453f08d6b3264a1bac6e9c0591c7423d4545d8cdfd57e5cb8f12

Size: 69,236 bytes
acl2-infix (acl2-infix_8.3dfsg-1_i386.deb)
SHA1: 792f103c1511f2eb62db28fd5959ad31d1c2928e
SHA256: 2f21a6831f7b8dfd36a6012c03ef653a46e1233cb4109c8682d2916dcb859074

Size: 497,172 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: 8b1902e617884c172bf888ffda1b1aa3a5e36011
SHA256: c4d7066622b834a61ccf959e0d1387a1e938fcb18a43dee6ec320d831741b0e3

Size: 3,339,556 bytes

Other checksums

Submissions

Submitted
Sat, 23 Jan 2021 07:42:12 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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