Source
acl2
Version
8.1dfsg-6
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 10 Dec 2019 00:59:17 +0000
Build-Path
/build/acl2-sboGlz/acl2-8.1dfsg

First submitted
Tue, 10 Dec 2019 06:19:30 +0000
SHA1 of .buildinfo
8547fdf522cd734a6bab61e9ec5895988daf879e

Binaries

acl2 (acl2_8.1dfsg-6_amd64.deb)
SHA1: 2365ecbbb143997e490f7d5bd203c33e3858dcb4
SHA256: f1227074120353d68e3da1915709f360e5a37b60c99f05689b08a7cabe584dd0

Size: 20,479,012 bytes
acl2-books (acl2-books_8.1dfsg-6_amd64.deb)
SHA1: 1a5a85d71d8b98af83508a3431be8795cfbc0581
SHA256: 330488c2e929c5f55d3c1b3f1c053b26a46e4ab52331f97f8266fecff8a94805

Size: 163,915,728 bytes
acl2-infix (acl2-infix_8.1dfsg-6_amd64.deb)
SHA1: f8b9e89e8957b886cd5f1f52453fff4a53a26a87
SHA256: 64fd9caa5104ddddafaf9a17d6ff1e2c7446886fffd12bc9d5bf156dfdd918fd

Size: 490,904 bytes

Other checksums

Submissions

Submitted
Tue, 10 Dec 2019 06:19:31 +0000
Signed by
0xD9795CB00A61AF5E

Environment


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