Source
acl2
Version
8.1dfsg-4
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 1 Nov 2019 01:43:50 +0000
Build-Path
/build/acl2-iZxiV1/acl2-8.1dfsg

First submitted
Fri, 1 Nov 2019 06:11:14 +0000
SHA1 of .buildinfo
62360199bada064332d9b6c6f37460079a9f3fd0

Binaries

acl2 ()
acl2-books-certs (acl2-books-certs_8.1dfsg-4_all.deb)
SHA1: 17ae9a61bed5cb2fe62bbcb5ee302d9bc238ecb6
SHA256: 4b67cacdbff0373b578c9ce5c15598976f0f7d5ef130aa36fad6c55d25c2571f

Size: 80,916,800 bytes
acl2-books-source (acl2-books-source_8.1dfsg-4_all.deb)
SHA1: 4bc4b306ef7e99509520a5e1c79c7af83ef33fca
SHA256: 41f3f1a1758ac3ce1afff7973bc2058715fd7f1ed656be395da9e9fbbbe1f16f

Size: 13,586,004 bytes
acl2-doc (acl2-doc_8.1dfsg-4_all.deb)
SHA1: 65839b25f9422e318187835965e71e7d6c515a4e
SHA256: 339511ca5be0415e5d4cd5334e8994c3b2548576900a694c1d3745b67b84fb35

Size: 413,356 bytes
acl2-emacs (acl2-emacs_8.1dfsg-4_all.deb)
SHA1: 11fe11f4ba09c6ba68666c90ddc2ad2d7e4e48f1
SHA256: 904526abd4537348345c2b0eebb0a27ccdbe1a2bd29a99e0103e1819256f6dcc

Size: 67,796 bytes
acl2-infix-source (acl2-infix-source_8.1dfsg-4_all.deb)
SHA1: f8d341dbedad07d26049936f51f3c3ad88bcc0ef
SHA256: 8b4b8e4cdf0feaecab97160bc72cbca1e7676c6d2fcda27629d688e6f76b25b4

Size: 79,464 bytes
acl2-source (acl2-source_8.1dfsg-4_all.deb)
SHA1: 86eb3990b3e7367fb762ef74925c8df548e0f40f
SHA256: 7eaa25c8f5d2855232bcd03fd7e8143b6d5cbee5d23e073d9512fddd7aeda358

Size: 3,133,156 bytes

Other checksums

Submissions

Submitted
Fri, 1 Nov 2019 06:11:15 +0000
Signed by
0x425D5F0FF5BC86F7

Environment


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