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

Source
acl2
Version
8.5dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 28 Jul 2022 01:29:10 +0000
Build-Path
/build/acl2-UliVgs/acl2-8.5dfsg

First submitted
Thu, 28 Jul 2022 06:11:56 +0000
SHA1 of .buildinfo
fc79c719ca77d69857225a12a405077194d2e971

Binaries

acl2-books-certs (acl2-books-certs_8.5dfsg-1_all.deb)
SHA1: b819c774e10595dcf8765fe7446f11cac0b5d47f
SHA256: 0fe076eeaf30b92bfc133ad2a5f763d5cc43563bb6ccdcafe61532f00eb17356

Size: 182,127,040 bytes
acl2-books-source (acl2-books-source_8.5dfsg-1_all.deb)
SHA1: 4690f2af985c2a91a0d0df95c7a71e1321cd0304
SHA256: dbce28ca61a9211cdc15f2c02697d9c0a83425c3dd7ab1a29eeda616a075e90d

Size: 24,678,008 bytes
acl2-doc (acl2-doc_8.5dfsg-1_all.deb)
SHA1: 716848b3bbd946e2bb7aa88cf7b23afa266916e7
SHA256: 5f82321abee7dd4dc424ec4589e0666bd7eaa90c67d6e25c3cae8b0e1e327fe7

Size: 489,156 bytes
acl2-infix-source (acl2-infix-source_8.5dfsg-1_all.deb)
SHA1: d1b1e64ede90d90905ad627919fcf1ce80807815
SHA256: 9cab44c7281d183b6399739420a191e3d9b8ebda6685ca26400548d7e32e7545

Size: 80,072 bytes
acl2-source (acl2-source_8.5dfsg-1_all.deb)
SHA1: 4b58fb66bea337dfbb4280ad32079de33d0e3283
SHA256: d6ebd111893790b75d4b6638fedac779569dd163d2200e61518f34030859c7a5

Size: 3,595,628 bytes
elpa-acl2 (elpa-acl2_8.5dfsg-1_all.deb)
SHA1: 076345c4fcf202f0fc90891517b90349f4ee262f
SHA256: 1411e99c0cae15059d7f9d9d2333169233e3151219e430e2fc98139247076105

Size: 78,416 bytes

Other checksums

Submissions

qrgubicn
Submitted
Thu, 28 Jul 2022 06:11:56 +0000
Signed by
0x357FEC9A2E8390A8

Environment


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