Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 26 Nov 2017 01:27:34 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sun, 26 Nov 2017 01:28:21 +0000
SHA1 of .buildinfo
fa12c45369d6e4bca9980afd81a76f62f6dcb1b4

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: d89e64237ad6445ff867b32bd8ca434c1a13c05c
SHA256: dacb32aed97c41c233c0dae489dc4e8f3e15d36326b4dcc773eb37291d8a7658

Size: 24,208,100 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, 26 Nov 2017 01:28:21 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"