acl2_8.1dfsg-4_armhf.buildinfo (view)

Source
acl2
Version
8.1dfsg-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 2 Nov 2019 08:04:22 +0000
Build-Path
/build/acl2-XiaHig/acl2-8.1dfsg

First submitted
Sat, 2 Nov 2019 12:10:34 +0000
SHA1 of .buildinfo
69cf0e76d9af664cc756109f54acef3337801ac2

Binaries

acl2 (acl2_8.1dfsg-4_armhf.deb)
SHA1: 022a7ca862125b69a75a49e80743c4d927e5e660
SHA256: 1c94da6ea44ab088449b144e253983adccbe56a2b30020f623a85375bf7fc050

Size: 17,959,264 bytes
acl2-books (acl2-books_8.1dfsg-4_armhf.deb)
SHA1: d7153d1f524fa806da2d8ada614859d07986124e
SHA256: 398d83be6d47dc75669d2baeeae1315f324afe1839ddc6da9684b56723de756d

Size: 151,122,104 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-4_armhf.deb)
SHA1: d678bc98b2603b2dce09aebc3fe15e11f1c99ec7
SHA256: d161e9eef83b80b43c3e6694b4c33307de69bbb9823d9bd310863e4f63d10ca8

Size: 467,012 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ib34xmai
Submitted
Sat, 2 Nov 2019 12:10:34 +0000
Signed by
0x8F4D2E75D3B4ABCE

Environment


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