Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 29 May 2019 07:07:55 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Thu, 26 Apr 2018 01:44:07 +0000
SHA1 of .buildinfo
096f0312887bf2837e7b888f7155ba723c6a15c3

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 6dfe8255e2648ea45aa6c6e012026485d2b29d04
SHA256: a4d7d1494567a3651c0dda6bc44a7afb32407a3494374714bca519a29ee4c9b4

Size: 24,208,732 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 9f1d58ff4ef8bc2fc3c6f11d8f1533efa39335f6
SHA256: 87f83c1507c04128eb54825b6f0462cd24fd57456f7d662c3c8752e394cd999a

Size: 403,880 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: c11ff9c1636921a0a342da0f485f483071ea4a60
Size: 36,784 bytes

Submissions

Submitted
Thu, 26 Apr 2018 01:44:08 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"