Source
ssreflect
Version
1.6.1-3
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 17 May 2019 08:35:48 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Sat, 14 Apr 2018 02:17:55 +0000
SHA1 of .buildinfo
1a70dfdbbb990793179cbbea3b5e52d8aa494ed0

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 0230147f8e0e36883815a6796944df1d0af9d311
SHA256: d04807f536e53931ef357a20114d7e57b65c89be893f371a7d4208e9b2648669

Size: 24,234,256 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_i386.deb)
SHA1: 2cea09d46fa3e1d79ec0c5777ca292fb5b8078ce
SHA256: 58ef65bb0718d2601c06406a338b685cadd715a7dcb969aa2982bfc489251272

Size: 351,744 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_i386.deb)
SHA1: 67df3a16cd5a263f100eb029e48db331e460b194
SHA256: acb2c0363c35ac4204abb45babdec2a2c2bfc8df278d77cbe17a3a83085d3f03

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_i386.deb
SHA1: c44dc8556c5fd815f225dc7ede75b73a1e1f5827
Size: 36,308 bytes

Submissions

Submitted
Sat, 14 Apr 2018 02:17:55 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (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=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1507538583"