Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 1 Jun 2019 12:26:21 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sun, 29 Apr 2018 06:23:44 +0000
SHA1 of .buildinfo
b71b0d5cfa671d25951cefb6ea8c3621b101d1f6

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 6fbced687d9bc7a9dfd3bd1276537f5b7cc18960
SHA256: 4d891fe06fff525374dec2424ec959aae0d8568c43a1da11ecf34635f0bd1550

Size: 24,207,060 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: a3cafc92ef0c9ffa8fe51c1b8b2f3618e48dc05d
SHA256: 6313c07ffbb3d257e4e6edab91a115082833300878d5006f3f058c8903f19654

Size: 405,356 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: 53c597b186baa2dd0d17c1703a2166e862ef7df6
Size: 37,320 bytes

Submissions

Submitted
Sun, 29 Apr 2018 06:23:44 +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"