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

Source
acl2
Version
8.1dfsg-6
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Dec 2019 14:27:39 +0000
Build-Path
—

First submitted
Mon, 9 Dec 2019 18:29:16 +0000
SHA1 of .buildinfo
b07c1ac794c8707b0cbf9cc72599aa25ad0d1712

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-6.dsc
SHA1: e80367a8c72f098345ab50036191715450690a2d
Size: 2,247 bytes

Submissions

qczjbfso
Submitted
Mon, 9 Dec 2019 18:29:17 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1575901290"