Source
acl2
Version
8.2dfsg-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 21 Dec 2019 14:00:27 +0000
Build-Path
/build/acl2-1cUlMO/acl2-8.2dfsg

First submitted
Sat, 21 Dec 2019 18:13:03 +0000
SHA1 of .buildinfo
c3a933dbda8d82c8d5d440fdd5d8d011e904425c

Binaries

acl2 (acl2_8.2dfsg-1_armel.deb)
SHA1: 0a01b0855401a76b64930fc52f92055683f2179b
SHA256: 346dbc228f35eb0c010cb584f86e6fc822ba3829a94fa15d153636eccdea9728

Size: 18,067,076 bytes
acl2-books (acl2-books_8.2dfsg-1_armel.deb)
SHA1: ca8ee71810b662a695c07f6b64522555fb901535
SHA256: e05bec22495a45980a7ba890b159dfc4251b5ad0a8cc8cd7b2656e1fd1dce34a

Size: 154,525,184 bytes
acl2-infix (acl2-infix_8.2dfsg-1_armel.deb)
SHA1: 172dd2c2a252f25d3cbaab959f7e150d8aca9a66
SHA256: 8c66dd4f470e901faab3cb5bbde0be2da74afe7f65a98e4c07a1a139e0723116

Size: 473,628 bytes

Other checksums

Submissions

Submitted
Sat, 21 Dec 2019 18:13:03 +0000
Signed by
0x8D01D8A51F7D9F50

Environment


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