Source
acl2
Version
8.0dfsg-1
Architecture
kfreebsd-amd64

Build-Origin
Debian
Build-Architecture
kfreebsd-amd64
Build-Date
Fri, 20 Apr 2018 10:26:51 +0000
Build-Path
/build/acl2-AFkiJt/acl2-8.0dfsg

First submitted
Fri, 26 Oct 2018 23:25:43 +0000
SHA1 of .buildinfo
f7bb8aa1920e3f154ca941be35bfa803b2034975

Binaries

acl2 (acl2_8.0dfsg-1_kfreebsd-amd64.deb)
SHA1: f268f260b0ff843d096b0a6d40cbb8acf4bce8b1
SHA256: e3457f2b48e03f36d0b8fd52b6302cedd9093270a20e30ce6705cf14fd661f77

Size: 19,713,776 bytes
acl2-books (acl2-books_8.0dfsg-1_kfreebsd-amd64.deb)
SHA1: 705638422c9c23db21d9f6f1ea84cab85115edbd
SHA256: 866ed90473019ef4da49ff6f2092647204751d4bbe5b4accee075ce674911291

Size: 136,759,704 bytes
acl2-infix (acl2-infix_8.0dfsg-1_kfreebsd-amd64.deb)
SHA1: 7c9ed7e8017e2910d7b733eae55b784d5851f804
SHA256: adf4971aa2cb0f77cb56015075f60472eaa805ede1808ae21963431f740a3577

Size: 430,892 bytes

Other checksums

Submissions

Submitted
Fri, 26 Oct 2018 23:25:43 +0000
Signed by
0xB193770C186A1C7D James Clarke <jrtc27@jrtc27.com>

Environment


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