Source
acl2
Version
8.2dfsg-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 31 Dec 2019 09:03:50 +0000
Build-Path
/build/acl2-UNfgOh/acl2-8.2dfsg

First submitted
Tue, 31 Dec 2019 12:27:10 +0000
SHA1 of .buildinfo
deff7ca5af0960d23cf71299e256e33003175ad7

Binaries

acl2 (acl2_8.2dfsg-3_i386.deb)
SHA1: 2224b9b9ff47a8b52aa2bd8d16ccfe44b54ea8e3
SHA256: de43fb61913419eeeb0e1de5e7055f79f2be6dfaf0bd2ba11d4c949c9774194e

Size: 18,904,632 bytes
acl2-books (acl2-books_8.2dfsg-3_i386.deb)
SHA1: d3a2a324a48c673a7a9df0852e0e060f2bf307f3
SHA256: 7652eb9e3440e56b4f90c755ac50247692f7d265abb08ec20a1cddd922a374e6

Size: 145,581,308 bytes
acl2-infix (acl2-infix_8.2dfsg-3_i386.deb)
SHA1: 08c880bcb26bba9bcde8026d5b96cf8103ce11a2
SHA256: a30dd3573592c7ca8870e6e9ea904bf084c614b235cffc721eb65274db9550c5

Size: 497,380 bytes

Other checksums

Submissions

Submitted
Tue, 31 Dec 2019 12:27:11 +0000
Signed by
0xB6798C98C3897D0D

Environment


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