Source
ssreflect
Version
1.6.1-2
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 13 Nov 2017 08:07:40 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Mon, 13 Nov 2017 08:07:55 +0000
SHA1 of .buildinfo
8e750c154f2a61a9b2e4fb949e23257e479afb57

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: 7f6b8ad9cbcd0ad1f72db6c3e5b4cd72d8a87804
SHA256: 6e0765ebc430e13c0fc8509947c6ea19015e33f013634cc11aa4dfcc729393c0

Size: 354,172 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: 93ec38c78c9ddcf449f063ced3716c52970d12cd
Size: 35,356 bytes

Submissions

Submitted
Mon, 13 Nov 2017 08:07:56 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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"