acl2_8.2dfsg-2_source.buildinfo (view)

Source
acl2
Version
8.2dfsg-2
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 26 Dec 2019 20:54:12 +0000
Build-Path
—

First submitted
Fri, 27 Dec 2019 00:16:01 +0000
SHA1 of .buildinfo
801a4e5d8f8c4f79c6d70876048a80e810ef6d63

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.2dfsg-2.dsc
SHA1: 0cb39e801a9773606c14df5eb7d562f445050112
Size: 2,247 bytes

Submissions

4auntb3g
Submitted
Fri, 27 Dec 2019 00:16:01 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1577393229"