acl2_8.0dfsg-1_kfreebsd-i386.buildinfo (view)

Source
acl2
Version
8.0dfsg-1
Architecture
kfreebsd-i386

Build-Origin
Debian
Build-Architecture
kfreebsd-i386
Build-Date
Sat, 23 Jun 2018 16:30:00 +0000
Build-Path
/build/acl2-15NgNu/acl2-8.0dfsg

First submitted
Wed, 24 Oct 2018 07:40:56 +0000
SHA1 of .buildinfo
39ed574a6d3fbf8f983847f9fc5fb61b5384ab03

Binaries

acl2 (acl2_8.0dfsg-1_kfreebsd-i386.deb)
SHA1: f5c62ad58895cde08cd15318bceef2ce23f62dd4
SHA256: f3c9556e56d768b824db501c4465c9e3ff7769f1e8d0f065e8cabf78f4690fb3

Size: 17,621,460 bytes
acl2-books (acl2-books_8.0dfsg-1_kfreebsd-i386.deb)
SHA1: e73648d37240d4b645818c069f86dbdcee6bf551
SHA256: 42908553b1103e712e327d98879ac1b601f0b1f7f1fb7c814f583630f5a8d4ef

Size: 116,127,656 bytes
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix (acl2-infix_8.0dfsg-1_kfreebsd-i386.deb)
SHA1: edd4acf2eb6dd1517481624001d337eadb5bcb91
SHA256: 39e4609deb67a370ba66d339bfd1145b05e1125cf216d9bb750162001bfe6bfd

Size: 398,264 bytes
acl2-infix-source ()
acl2-source ()

Other checksums

Submissions

w7cp4evb
Submitted
Wed, 24 Oct 2018 07:40:56 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>
9ef9dmdr
Submitted
Fri, 26 Oct 2018 07:16:48 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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