Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 10 Dec 2017 06:27:15 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sun, 10 Dec 2017 06:28:19 +0000
SHA1 of .buildinfo
3997009770fcadbdbe9a96e3b772902f89fcfc73

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: dc397ee58f1f1d6a4b0d6d50fc3fa131a9ede5b0
SHA256: 9f52e9407f5cbf2b3ce323fafe19f68a6716ccf62c2a7f157aa9832721d95cce

Size: 24,207,048 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:20 +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/ssreflect-1.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"