Source
ssreflect
Version
1.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 23 Dec 2017 12:58:34 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Sat, 23 Dec 2017 15:25:45 +0000
SHA1 of .buildinfo
f71ff18a4794691c7a3b80ab1a5d31e57cd37d1e

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-2_all.deb)
SHA1: ac6eff245a2d9899bdb360975d1be59d97818244
SHA256: 551bf6fc23b484069483df4f45e6d219bff93610ad2d72f862e16103492697ad

Size: 24,166,208 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-2_amd64.deb)
SHA1: 4426991ca3feeefc0cff08b77212ef2ed008b8e1
SHA256: 31489a0b6d134db5a5238c3b9b03213d941b031a409210f16923a504307bc0fe

Size: 354,480 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-2_amd64.deb)
SHA1: 6793c139fd5f227d199c2883e395a930c20c781a
SHA256: 7b34eb48e6fad7f2190bff563fae02de999747497cfe60ccece281032eda5251

Size: 63,800 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-2_amd64.deb
SHA1: a4f70064b9a4cf412f0402d839f244a8b8e02fca
Size: 34,848 bytes

Submissions

Submitted
Sat, 23 Dec 2017 15:25:46 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483094351"