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

Source
acl2
Version
8.0dfsg-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 8 Dec 2019 03:48:49 +0000
Build-Path
/build/acl2-8.0dfsg

First submitted
Sun, 8 Dec 2019 05:50:56 +0000
SHA1 of .buildinfo
c7df98446891f36b3f89efd6692d8ec30395cc5a

Binaries

acl2 (acl2_8.0dfsg-1_i386.deb)
SHA1: c17343a8bfca80191bcce98b373d32dd65ffa4dd
SHA256: ea2f9be20224e65ea9b6124263bdbd36fee621b92fc588f939fed9ab34fb3cbb

Size: 17,416,040 bytes
acl2-books (acl2-books_8.0dfsg-1_i386.deb)
SHA1: 61a20ff8cfc37153864c3f3a2085451d23c97b87
SHA256: 1f1876dac99899f41196ec72807023697766c85896ed4723b6fe1908429f5b60

Size: 133,296,224 bytes
acl2-books-certs (acl2-books-certs_8.0dfsg-1_all.deb)
SHA1: 5e2169fcd8c7254ed4be031507d45b1551063b86
SHA256: e4626618fd6edce11534775e9056b04a05c539b5fbb890a324b11f3f6aac3c41

Size: 73,375,116 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: 44ca886078972f635f8e5a58efa672eb646edfcc
SHA256: b13b27c5b23487423d19734416ff63bf29264e7c922cbf2f0d176deaf2e25a35

Size: 401,596 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: 6b4ebea2338b2bc31ff4293bb9c74e62a11ed014
SHA256: 6b83ac8060c1644beefbde61ce6f9bf7de9e728200ecf2ad72076643ef7045be

Size: 3,081,344 bytes

Other checksums

Submissions

rqzr7jmh
Submitted
Sun, 8 Dec 2019 05:50: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="1515765876"