Source
acl2
Version
8.1dfsg-5
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 8 Dec 2019 23:12:20 +0000
Build-Path
/build/acl2-o7XlU0/acl2-8.1dfsg

First submitted
Mon, 9 Dec 2019 01:32:53 +0000
SHA1 of .buildinfo
c4cce50541cb9db4458cdde40e04aaaffe55422b

Binaries

acl2 ()
acl2-books-certs (acl2-books-certs_8.1dfsg-5_all.deb)
SHA1: b5c3fd9aac58cc97bc9b1ad964a8e9f11fd7f054
SHA256: 6228378b8c443f046435d64eb0e6fb55294f1ed75e6dc86b3aa1db912a99afca

Size: 80,815,072 bytes
acl2-books-source (acl2-books-source_8.1dfsg-5_all.deb)
SHA1: 6e10fa2f15143f4df24d0f9d3d2e8cb69eb2ef56
SHA256: 682be14854e290657e991a87b4062302e7792fe33cb40a5598feb5388becefd3

Size: 13,586,556 bytes
acl2-doc (acl2-doc_8.1dfsg-5_all.deb)
SHA1: 4b110ab9b4f008df7cc989482d1ba81966016aca
SHA256: 50633ad084b46bc274d04e2feb43c2f986d649d3d9545d102ffde6b9fbb5ed44

Size: 413,416 bytes
acl2-emacs (acl2-emacs_8.1dfsg-5_all.deb)
SHA1: 73eb19a5a75746fca9cdf06bd9dee13b0467a690
SHA256: f11c9b93231fa3fca657c2e21cf913ddf4525d35db0ad52218a30f252ac69f1f

Size: 67,920 bytes
acl2-infix-source (acl2-infix-source_8.1dfsg-5_all.deb)
SHA1: fd883c15911c123b1b127acea78c540112c65388
SHA256: a1554143462dd182c44e5e39fa0dcd5670bd1f852742d41a9cc07fd66cf7a7b4

Size: 79,540 bytes
acl2-source (acl2-source_8.1dfsg-5_all.deb)
SHA1: dad900436b06473f3df78de3e56672ac40169944
SHA256: 81768a441c3b3bc4fef17d8aa70909dbf181d7dc6d947ab157bc548091404080

Size: 3,133,420 bytes

Other checksums

Submissions

Submitted
Mon, 9 Dec 2019 01:32:53 +0000
Signed by
0xCA34C7F06ADE3B10

Environment


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