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

Source
acl2
Version
8.5dfsg-3
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 31 Dec 2022 02:59:03 +0000
Build-Path
/build/acl2-fY2qKZ/acl2-8.5dfsg

First submitted
Sat, 31 Dec 2022 06:15:01 +0000
SHA1 of .buildinfo
8b5921f271ee9f8741dc9b18ec68ef0d327146aa

Binaries

acl2-books-certs (acl2-books-certs_8.5dfsg-3_all.deb)
SHA1: 4130871dd5681581cfeacce079d4926ec10de714
SHA256: 3c60a1dfebe2f956fe16809f2b76c22a01b234c47f9879f6961cc32eca606c03

Size: 179,033,472 bytes
acl2-books-source (acl2-books-source_8.5dfsg-3_all.deb)
SHA1: e9f8cd583bdb383b020f7042276b458d5cf5881a
SHA256: 27d29ab1a43597b99920bdf2fa5eab0aa334af95f7ffd745bf08279f47e200c8

Size: 24,660,080 bytes
acl2-doc (acl2-doc_8.5dfsg-3_all.deb)
SHA1: c01a1bc3d3a76369f7f18a7cb28dfcaaf98d01a0
SHA256: f9dc50c2806d6e9a5ad68af5969cfd8bfc4c95dab19e58a1f5c24ecdf9637214

Size: 481,340 bytes
acl2-infix-source (acl2-infix-source_8.5dfsg-3_all.deb)
SHA1: 94ae5a1c701aa1c633025719cd28a1a7149e4440
SHA256: 6e1a9f1af2ad4994b8d634562edd074d78686306c70948fcbe6187b80873978d

Size: 72,252 bytes
acl2-source (acl2-source_8.5dfsg-3_all.deb)
SHA1: f31ca7df87afeb61c0c0c6aaf309c5b424c3951d
SHA256: c21156f4a1d5d1067f48dd47ae92868d72780dd4cad709b444e689e6a7572c9b

Size: 3,587,988 bytes
elpa-acl2 (elpa-acl2_8.5dfsg-3_all.deb)
SHA1: 7abd80d665d5bb5ae8c871a03e922080d09d7f96
SHA256: 9a79f706371ed12975f81e326e9e09bb9aa213633d1869aff1cd53ef78da7400

Size: 70,568 bytes

Other checksums

Submissions

miqeq3xh
Submitted
Sat, 31 Dec 2022 06:15:01 +0000
Signed by
0x24648C255DFAD202

Environment


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