Source
ssreflect
Version
1.7.0+dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 10 Aug 2020 22:00:06 +0000
Build-Path
/build/ssreflect-1.7.0+dfsg

First submitted
Tue, 9 Jul 2019 16:33:28 +0000
SHA1 of .buildinfo
8a683395e0d1c823bd1ade4ea1daa22883da1d6f

Binaries

libssreflect-coq (libssreflect-coq_1.7.0+dfsg-1_all.deb)
SHA1: c26b947a75a1be500c6c7c33bd9dd64f6084fb88
SHA256: 8f0178497b04087023c02d5de05584efb2a975ef60c4e050b91b65718b60ec33

Size: 26,406,136 bytes

Other checksums

Submissions

Submitted
Tue, 9 Jul 2019 16:33:28 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1550344009"