Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Oct 2017 17:02:03 +0000
Build-Path
/build/1st/ssreflect-1.6.1

First submitted
Mon, 9 Oct 2017 17:45:20 +0000
SHA1 of .buildinfo
b51bbcd941e88a2e12013ffe859ab826ff954cb4

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 620609e907a4873d35a82c3b1065287cc5f8f87b
SHA256: 01eb52673521abbc8cdcab5e175bda7c2481f418b0b7182c895fe5bf2cbafffb

Size: 24,211,396 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: d0260541fa39007db67c5d1d70b6f46a28c2755f
SHA256: c0255768992397066d5ee91f3e1e4c06a68a5c105709f6a4d5ec359d0739364b

Size: 403,760 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_amd64.deb)
SHA1: c7fd39979d5fc0847d3b71e8a4a7072ecd464e56
SHA256: b2d1dfa32dfd6ba234b3e67863b86f608af3fa568949d192f6a2e475933e2185

Size: 63,416 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_amd64.deb
SHA1: 689e814cf30a80b4eb01c95036417fc306df463c
Size: 36,714 bytes

Submissions

Submitted
Mon, 9 Oct 2017 17:45:21 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ssreflect_1.6.1-3=/build/1st/ssreflect-1.6.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"