acl2_8.1dfsg-3_i386.buildinfo (view)

Source
acl2
Version
8.1dfsg-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 4 Apr 2019 19:44:06 +0000
Build-Path
/build/acl2-QUlSyP/acl2-8.1dfsg

First submitted
Fri, 5 Apr 2019 00:10:38 +0000
SHA1 of .buildinfo
a331d6528694123520c04e0f671fb54284690daf

Binaries

acl2 (acl2_8.1dfsg-3_i386.deb)
SHA1: 38bae7ba4517518bf7b2f2eaac82f25aadc7a8d0
SHA256: 9b1cfdf2fadb30e1dc274115b83ebe297de6aa3433926ee0b9cb5824679853cf

Size: 18,623,788 bytes
acl2-books (acl2-books_8.1dfsg-3_i386.deb)
SHA1: 0b1242ed22e8afbda67ab9e4045c84a27d52c3a3
SHA256: d07d8b2ac2098062161e2cfdd4623b3f0873ad24a737116e0b3a39b6af7284fb

Size: 145,550,844 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.1dfsg-3_i386.deb)
SHA1: b01d338f96831d3bdb9efc8720145df554ffa8d1
SHA256: 2a6cc098266c7ef9aac7dbbb36902d18c087b8831f5ae1ce2454965335e081d7

Size: 494,288 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

uvyoaj4x
Submitted
Fri, 5 Apr 2019 00:10:38 +0000
Signed by
0xB6798C98C3897D0D

Environment


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