Source
acl2
Version
8.1dfsg-6
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 11 Dec 2019 09:06:15 +0000
Build-Path
/build/acl2-s0pFEh/acl2-8.1dfsg

First submitted
Wed, 11 Dec 2019 12:35:47 +0000
SHA1 of .buildinfo
931adb37b87d034ff6f84a18a85c23574f58905c

Binaries

acl2 (acl2_8.1dfsg-6_armel.deb)
SHA1: f02198b2c954cf74a16b780504b3ac3a8c1e75cc
SHA256: 08e802bc6f08bfdaec9676423af026c29559742bfbd497f6e368a5338f52ec97

Size: 17,540,720 bytes
acl2-books (acl2-books_8.1dfsg-6_armel.deb)
SHA1: dc91ebbf5c994c70489954388f69842dda49ca10
SHA256: 7f6cd36e346cc9477bbf3a56462d518a47b2ed9ce65231c47e8822cb3e038dc6

Size: 147,077,612 bytes
acl2-infix (acl2-infix_8.1dfsg-6_armel.deb)
SHA1: 52c51e98d594525d054ae53c503f743700618e13
SHA256: 9dd7bfd5319c7c2d1afcdd5d247ead85da8562ea9448f099305b85f0aacd6f2b

Size: 474,276 bytes

Other checksums

Submissions

Submitted
Wed, 11 Dec 2019 12:35:48 +0000
Signed by
0x6A588AAFDA7ABFE9

Environment


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