Source
acl2
Version
8.2dfsg-1
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 19 Dec 2019 16:56:09 +0000
Build-Path

First submitted
Thu, 19 Dec 2019 18:57:59 +0000
SHA1 of .buildinfo
07a13498814bda0641cc4dd756d4d5ed38d021fd

Other checksums

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

Submissions

Submitted
Thu, 19 Dec 2019 18:58:00 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1576769407"