Source
acl2
Version
8.0dfsg-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 15 Jan 2018 08:19:07 +0000
Build-Path
/build/acl2-C3h0qD/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 17:01:41 +0000
SHA1 of .buildinfo
b174737d76edb31a40ae56b04b0b22c55cf1e801

Binaries

acl2 (acl2_8.0dfsg-1_armhf.deb)
SHA1: aa2d0662c62557b8c5233b1696a66aa48fefa5c0
SHA256: a8e580807248c69a842e107b73f05f7e0385380e89e566bec05b20ea7427ed4b

Size: 16,175,824 bytes
acl2-books (acl2-books_8.0dfsg-1_armhf.deb)
SHA1: 336e4d4dcac67f47bdb703513e1ed1b6d8e04589
SHA256: 5c4d919a9cf3f3743730b1f3ddfae02fa3532b89fc2d1364afb1e011a14f9167

Size: 125,371,900 bytes
acl2-infix (acl2-infix_8.0dfsg-1_armhf.deb)
SHA1: 73dba95971c5f680ad8b11d1274c8c72c0bdfe73
SHA256: 937c33bbc980f62dc820e8d356e890a86f02dfba6941aff059fec2d54eb552fd

Size: 416,256 bytes

Other checksums

Submissions

Submitted
Sat, 27 Oct 2018 17:01:42 +0000
Signed by
0x0274B3BCF3C295A1

Environment


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