Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 7 Mar 2019 19:25:12 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Fri, 2 Feb 2018 13:03:53 +0000
SHA1 of .buildinfo
1ca48f10c81070f32ae9b3d1fd898549cdc743d2

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 4ce370b1a8350e103e65022d669372193351ba0c
SHA256: 98b95a6f55f07c8add5a0bdd37e5c0d4e19f0778d49da6fec286c20bbed643d9

Size: 24,208,020 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: c7c03425c039968e597aca1510d873b4068f9ab7
SHA256: 386a861c366023c8eb2fb571b4b129d8535de1278734ab2db89f7614299f5e26

Size: 405,928 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: 5897f573e6ca1103211be7edbb7172699c01329c
Size: 36,532 bytes

Submissions

Submitted
Fri, 2 Feb 2018 13:03:53 +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"