Source
acl2
Version
8.1dfsg-4
Architecture
source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 31 Oct 2019 17:32:26 +0000
Build-Path

First submitted
Thu, 31 Oct 2019 19:12:23 +0000
SHA1 of .buildinfo
06700f45f9a17c609e5ba8bef87929f9aa7c5bf5

Other checksums

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

Submissions

Submitted
Thu, 31 Oct 2019 19:12:24 +0000
Signed by
0xB845CE510F9B714D Camm Maguire <camm@debian.org>

Environment


DEB_BUILD_OPTIONS="parallel=4"
SOURCE_DATE_EPOCH="1572542269"