Source
acl2
Version
8.1dfsg-4
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 2 Nov 2019 11:22:21 +0000
Build-Path
/build/acl2-mzMCul/acl2-8.1dfsg

First submitted
Sat, 2 Nov 2019 12:12:16 +0000
SHA1 of .buildinfo
87fbaf824f05e26e2be8225763babc2ee81f9e42

Binaries

acl2 (acl2_8.1dfsg-4_armel.deb)
SHA1: 131657322b4b1fabcb9805feaa3f3f59d5f59228
SHA256: 9fd45bb53115af9a83365a7331d0b7659777f5e912117afd69ebca147721669b

Size: 17,836,056 bytes
acl2-books (acl2-books_8.1dfsg-4_armel.deb)
SHA1: 5d4183b3e9ca3603b6134e672c176274bffa8be4
SHA256: 3ab9ddf9bbea226ce557b8cf3f261f27010024e1a4ae3445df82b0374d39073c

Size: 147,128,140 bytes
acl2-infix (acl2-infix_8.1dfsg-4_armel.deb)
SHA1: 4181da0444b97bcd35ee49dd4976b51098618cf7
SHA256: e664ee34c1587ab6cd74088b5cf9f9efc9431ac0f39ab339080704b71de56098

Size: 474,204 bytes

Other checksums

Submissions

Submitted
Sat, 2 Nov 2019 12:12:17 +0000
Signed by
0xEC824538D5BC17E3

Environment


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