Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 16 Aug 2019 15:50:01 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sat, 14 Jul 2018 09:27:17 +0000
SHA1 of .buildinfo
d8f27902fd6b6ecdfd2aecc8929070c3d2280453

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 01d8b3b52a130c7b16587eff18f612a9ba095c80
SHA256: 6c245380b263d93c92d05ef227356a18ecfb1d5aba0bd750f67d507205eeb90a

Size: 24,205,504 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 9e97f26e3a2f4ad0bf121d387aa574d53509981e
SHA256: 7bf28159befba578cf6b6aec3f31f4f66df2b63feca04ccf369d49960a10ccaf

Size: 404,064 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_amd64.deb)
SHA1: 009ecb0c84fd935833d446a90f8d56a00e1b2e0d
SHA256: aac923b96f50c870b647f36357d81661342dda349c6fd714d41b3747b451c88e

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb
SHA1: f8e9bfaa2b7935671259825f15ad9c4c71391c49
Size: 36,708 bytes

Submissions

Submitted
Sat, 14 Jul 2018 09:27:17 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ssreflect_1.6.1-3=/build/ssreflect-1.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"