acl2_8.1dfsg-5_source.buildinfo (view)

Source
acl2
Version
8.1dfsg-5
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 8 Dec 2019 15:20:05 +0000
Build-Path
—

First submitted
Sun, 8 Dec 2019 18:37:39 +0000
SHA1 of .buildinfo
df0119baa04e5245d8cb795eb9e33702a964caf7

Binaries

acl2 ()
acl2-books ()
acl2-books-certs ()
acl2-books-source ()
acl2-doc ()
acl2-emacs ()
acl2-infix ()
acl2-infix-source ()
acl2-source ()

Other checksums

acl2_8.1dfsg-5.dsc
SHA1: 1b0ed6cc732c342742fab1a86aa287d65531ca10
Size: 2,247 bytes

Submissions

7ggbnbdx
Submitted
Sun, 8 Dec 2019 18:37:40 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1575818032"