Source
acl2
Version
8.1dfsg-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 9 Dec 2019 21:01:16 +0000
Build-Path
/build/acl2-6KZZ7z/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 00:31:20 +0000
SHA1 of .buildinfo
c15ea361702635441d4c8e67bd22b3ed41963a14

Binaries

acl2 (acl2_8.1dfsg-5_armhf.deb)
SHA1: ab1409af74e429d0f194fae667d490301076555b
SHA256: 1518ac4d35dbad5e8fe68fa2bab029c394c55adfd4f4523257bba5f79f43deda

Size: 17,850,160 bytes
acl2-books (acl2-books_8.1dfsg-5_armhf.deb)
SHA1: 9c5cb343d4adb724281aa8c674384d99cb22fc75
SHA256: 8911b209264740a642ae81de883b07539325e0345adefdb03b85911f0f8e413d

Size: 76,027,848 bytes
acl2-infix (acl2-infix_8.1dfsg-5_armhf.deb)
SHA1: e058cdbdf640e31be70f275bf82deaf49ee85dd0
SHA256: bbaad15b1e1693959e5785e9fdf3fcb796aeb15cfcb5f37213d4e5ab59bbd0dd

Size: 467,084 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 00:31:20 +0000
Signed by
0x4121BF61A17B96E8

Environment


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