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

Other checksums

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

Submissions

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"