Source
ssreflect
Version
1.6.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 2 Jan 2019 09:40:11 +0000
Build-Path
/build/1st/ssreflect-1.6.1

First submitted
Thu, 30 Nov 2017 04:33:31 +0000
SHA1 of .buildinfo
d0865cc285856417ddd4d81b7097d79d233ab301

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: ee8485bae746db079110e475c3517d5b3d215dc1
SHA256: f7a86e27fce3821fb68eeb068c57c20569a97b526b509991058133eb635ebd0d

Size: 24,230,524 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_i386.deb)
SHA1: 2b16a3acd5079a8a6218b636c83cfa0edac16f3e
SHA256: fc9dce8618db82a2c4fe826f91d06a11d90b6355d3aed8c2a63fb4434e525d0a

Size: 351,940 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_i386.deb)
SHA1: 67df3a16cd5a263f100eb029e48db331e460b194
SHA256: acb2c0363c35ac4204abb45babdec2a2c2bfc8df278d77cbe17a3a83085d3f03

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_i386.deb
SHA1: 6356f044a66b84366ff3bdfcd2b1dc3178e1e07f
Size: 36,268 bytes

Submissions

Submitted
Thu, 30 Nov 2017 04:33:31 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (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=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507538583"