Source
acl2
Version
8.2dfsg-3
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 31 Dec 2019 01:51:18 +0000
Build-Path

First submitted
Tue, 31 Dec 2019 06:14:18 +0000
SHA1 of .buildinfo
d4161e7f4a3a2c12c92485a234ad46885551ca14

Other checksums

acl2_8.2dfsg-3.dsc
SHA1: 67e72970b930a7141cad70a765277751774bd137
Size: 2,247 bytes

Submissions

Submitted
Tue, 31 Dec 2019 06:14:19 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1577459744"