Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 18 Feb 2019 23:58:00 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Tue, 16 Jan 2018 17:36:12 +0000
SHA1 of .buildinfo
f324d7b525020126166871eedee2e2a9065c3974

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 330fd892d0d6a96f5c50ced0eb6f5e33b223db9f
SHA256: a43c014772ba1056617529da278e5b47809147753cb8a95886a35031b5b0b941

Size: 24,208,036 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 9a8653695c08cde45592544ef9debe0f7412c327
SHA256: 9c47a4cdbf12bd0f011ddb66d5824fc32142665c8a294088e0c35e4c39583a0c

Size: 403,616 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: bb65e530189f739772f8b73f01dca043ee276b9e
Size: 36,628 bytes

Submissions

Submitted
Tue, 16 Jan 2018 17:36:13 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"