Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 12 Jan 2019 11:23:48 +0000
Build-Path
/build/1st/ssreflect-1.6.1

First submitted
Sun, 10 Dec 2017 06:28:18 +0000
SHA1 of .buildinfo
ae06660412abdb5981656af5580e92bc2ccb4580

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 6c897625e5d70ca2ca3e01a607f0a2978bf1ed42
SHA256: f98dffa34dc7c03e3a1325392f5886bbee22598e3ac372c4fa54c0caa1af5078

Size: 24,207,812 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 82261a90137b63c3812cefaeb9253ecff89d409e
SHA256: 882ed063a3752a23f203364bebd00c15d243f66fdfac7d0446bd62067b3b7ea2

Size: 405,516 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: 65879a45a430e7a10cf27e8be54cd7b1d7efcdca
Size: 36,740 bytes

Submissions

Submitted
Sun, 10 Dec 2017 06:28:19 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"