acl2_8.5dfsg-5_all.buildinfo (view)

Source
acl2
Version
8.5dfsg-5
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 16 Jan 2023 14:38:40 +0000
Build-Path
/build/acl2-lHVp2w/acl2-8.5dfsg

First submitted
Mon, 16 Jan 2023 18:13:54 +0000
SHA1 of .buildinfo
34d1c6b56f6ab57ff1f672c147d84cfab0c717e8

Binaries

acl2-books-certs (acl2-books-certs_8.5dfsg-5_all.deb)
SHA1: ca6e2eb66ac4622eac47fa8696fd6a7a21f8e07d
SHA256: 76ece84dd05f93e3b656e822f3b7c53cf4a036fe6cda28434ba238ae6939fdaa

Size: 178,375,056 bytes
acl2-books-source (acl2-books-source_8.5dfsg-5_all.deb)
SHA1: ad92df26138834bcd40b58c04a9ee50f2932570e
SHA256: db31814feec61878d7dc4276c39dd98c59a9f344ee6522ee41ee8501f261d1d2

Size: 24,662,324 bytes
acl2-doc (acl2-doc_8.5dfsg-5_all.deb)
SHA1: fb9999aa688a5b3e8162e713a0d8008540658fc8
SHA256: 1653278e2310d2523b8a659ca7adb064af9794424755b6e8c142623744dbc6e5

Size: 481,328 bytes
acl2-infix-source (acl2-infix-source_8.5dfsg-5_all.deb)
SHA1: d48ecf76c01718f135cb006102b0ed53bab103c4
SHA256: dcb133524143f3ba1e06dcbbf60be7d009dc47753b7226cf2b913f0e48463e25

Size: 72,332 bytes
acl2-source (acl2-source_8.5dfsg-5_all.deb)
SHA1: 104304dedb1d3be43f15e05ea1e28265b19e3681
SHA256: 24f99d5111249821c83bdfecdfbb45a2631b7dcafa9636eca78fb6ffa3e99006

Size: 3,587,888 bytes
elpa-acl2 (elpa-acl2_8.5dfsg-5_all.deb)
SHA1: e9e55d215e2731b76665e518ace96326f39ccb11
SHA256: 54da6e21d60789dfc29908513b7133a0c4ab9aa59fb5aa2b7d8e138a83015dda

Size: 70,628 bytes

Other checksums

Submissions

g7kzcfxx
Submitted
Mon, 16 Jan 2023 18:13:55 +0000
Signed by
0xB46845950145956B

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1673830970"