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

Source
acl2
Version
8.0dfsg-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 13 Jan 2018 21:03:48 +0000
Build-Path
/build/acl2-sSffR0/acl2-8.0dfsg

First submitted
Sat, 27 Oct 2018 16:48:42 +0000
SHA1 of .buildinfo
c320b2fc7da57f7ee3c86bec182f730eb699c20e

Binaries

acl2 (acl2_8.0dfsg-1_i386.deb)
SHA1: 254be39f75ee2976786856fc48dd8b5c8eee7508
SHA256: 68498904a807381d922eac8991378c6ac1e5827dbcd1f9af8d50ea436027690e

Size: 16,994,808 bytes
acl2-books (acl2-books_8.0dfsg-1_i386.deb)
SHA1: 847a4e790d21bb8473e3f33790032b33c28c885b
SHA256: 7714534e3f5f9332be2b408eca6ae0728b15e92783c08ad871e99d5e7b212b3f

Size: 115,998,080 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1_i386.deb)
SHA1: 7ff9a76e40606fb0866d9aeaeae7658825c46a6f
SHA256: 8bea638394ba0c75dbb4accca649c60f748531b38b1eccad112e266447158b4a

Size: 399,340 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

ctqoson7
Submitted
Sat, 27 Oct 2018 16:48:43 +0000
Signed by
0x69616CDA9356D1F3

Environment


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