Source
ssreflect
Version
1.7.0+dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 5 Aug 2019 14:43:20 +0000
Build-Path
/build/ssreflect-1.7.0+dfsg/2nd

First submitted
Mon, 5 Aug 2019 14:43:35 +0000
SHA1 of .buildinfo
127bc6849a739884aab6ed3f037b4f2f627aedf7

Binaries

libssreflect-coq (libssreflect-coq_1.7.0+dfsg-1_all.deb)
SHA1: 4c3889a6e97a9cc28ec4a4421bac8200613628df
SHA256: 7787454ae11f8350912d3fa9aa14994f091fc9e31cc4abe8be8954c577ea72b0

Size: 26,406,352 bytes

Other checksums

Submissions

Submitted
Mon, 5 Aug 2019 14:43:35 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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