Source
acl2
Version
8.1dfsg-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 1 Nov 2019 00:41:35 +0000
Build-Path
/build/acl2-nSqe8x/acl2-8.1dfsg

First submitted
Fri, 1 Nov 2019 02:15:52 +0000
SHA1 of .buildinfo
c11addf385ca7ad8514210c00132b1421c879bcc

Binaries

acl2 (acl2_8.1dfsg-4_i386.deb)
SHA1: 83878df188dc5504b735c0cc017230c9046aec63
SHA256: d972f5dfa2500317fc50a474db2d5a9c6fdeea78967bf3e31b4a03d81052e18a

Size: 18,818,212 bytes
acl2-books (acl2-books_8.1dfsg-4_i386.deb)
SHA1: 3b9b33a35687a20d1c54047ea95e300d3ea72698
SHA256: 9f01f8f1b01abc900bf4fc1384e18b2382358f9532088735ce38e2392ace94f9

Size: 139,026,308 bytes
acl2-infix (acl2-infix_8.1dfsg-4_i386.deb)
SHA1: 182b7bc6ab9af6c1d3a7e9960682985f6bd077c4
SHA256: 32ca3ed064940d21c2901c464f1277d565a9c84b32ba01f2e104b5009b01a094

Size: 496,412 bytes

Other checksums

Submissions

Submitted
Fri, 1 Nov 2019 02:15:53 +0000
Signed by
0xB6798C98C3897D0D

Environment


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