Source
acl2 (8.1dfsg-3)
Version
8.1dfsg-3+b1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 23 Jul 2019 16:48:07 +0000
Build-Path
/build/acl2-aNzuYC/acl2-8.1dfsg

First submitted
Tue, 23 Jul 2019 19:48:22 +0000
SHA1 of .buildinfo
7aa8b762d80a00a500ee07040580748fdd06ab5b

Binaries

acl2 (acl2_8.1dfsg-3+b1_armel.deb)
SHA1: 524983ce9c6713535a6b22e25e6b183b717c4453
SHA256: 6fec31043782f526542ed8b4983c96dea34429dc8cd07c0da7eb7e34e3c7c821

Size: 17,492,332 bytes
acl2-books (acl2-books_8.1dfsg-3+b1_armel.deb)
SHA1: aec2e17d6f311057526387223ea18c6219494b02
SHA256: 30e531d4b0bf139b1d9b218aa2d811342b780e87749128015eaae2f2c7e32eaf

Size: 146,787,052 bytes
acl2-infix (acl2-infix_8.1dfsg-3+b1_armel.deb)
SHA1: 2f685248068a01d3a12a8c3bb9d5883a3bc22eaf
SHA256: 339d364e2339b354b6e72e5062fc1889aabc3b3abb896a90e71292561b25f10b

Size: 474,868 bytes

Other checksums

Submissions

Submitted
Tue, 23 Jul 2019 19:48:23 +0000
Signed by
0x15559639BA39FB63

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1563743654"