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

Other checksums

acl2_8.2dfsg-2.dsc
SHA1: 0cb39e801a9773606c14df5eb7d562f445050112
Size: 2,247 bytes

Submissions

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"