Source
acl2
Version
8.0dfsg-1
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 8 Jan 2021 07:48:41 +0000
Build-Path
/build/acl2-8.0dfsg

First submitted
Sat, 7 Dec 2019 03:31:23 +0000
SHA1 of .buildinfo
07d4698602476156a2c16ca8fb5e501deb9bc7e9

Binaries

acl2 (acl2_8.0dfsg-1_amd64.deb)
SHA1: a01a443758077afcb270b796c658cb93dcacc257
SHA256: ad6632c4a07d952d40c581e3c9984783779d70601967c0f69274f1aa7da72aa9

Size: 19,769,872 bytes
acl2-books (acl2-books_8.0dfsg-1_amd64.deb)
SHA1: 1af6347e5a1c0953f3b5d6f9c7c61b4ce6b411be
SHA256: b95533a58ab8e9c0a7dd8cb35c30d60dcb6cf7f014da42ea211409985b976c1c

Size: 152,110,532 bytes
acl2-books-certs (acl2-books-certs_8.0dfsg-1_all.deb)
SHA1: 5bfdd95e1f123c9b6ef9779baa01938f28eb86db
SHA256: ee077ed4cae8657f077e365ac02c23ee6af66f4730819585175830c0225ae309

Size: 73,151,396 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: 88a69aea104092f293c3dd570e73967aa05ae0be
SHA256: 2b9ea3181b446ba0c919edd2a17a35bdf7712c948b5e19571f9aa5904e75596d

Size: 401,612 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_amd64.deb)
SHA1: 3d9764d7eabbe3331e67c97b853ee37953f8a8de
SHA256: 5826d5b68773b47ba1104325a098eda77f36a754b0b6a6c69d2d4f27387f63b4

Size: 491,256 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: 37c33db2bab2da02801810e7ca190b405b64604f
SHA256: b4dac92911f92b22e129bc5a00317c3efba2578a87fdbd196fc450b196ab839d

Size: 3,081,516 bytes

Other checksums

Submissions

Submitted
Sat, 7 Dec 2019 03:31:23 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1515765876"