Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 20 Oct 2017 02:55:38 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Fri, 20 Oct 2017 02:57:17 +0000
SHA1 of .buildinfo
3786b7231672867d8d1d2721c8358fd55571e4c3

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: bced75de303143040f59deebe7b2e9249ac515b5
SHA256: e1d833eed579913b77e159ef46afe3de9233083f91b85bc76de283eb03530e3b

Size: 24,209,012 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: c4061b018986c432f4e379b993684b13415e152a
SHA256: 943198408241b3df3f196241dd21233196e4a9d03a7f444e8a290cea3fc57d8a

Size: 404,508 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: 6522c2aeae932cc5dfe841fc8cd704373c717b2d
Size: 36,800 bytes

Submissions

Submitted
Fri, 20 Oct 2017 02:57:17 +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"