Source
ssreflect
Version
1.6-1
Architecture
all i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 27 Dec 2016 09:12:19 +0000
Build-Path
/build/1st/ssreflect-1.6

First submitted
Tue, 27 Dec 2016 09:44:00 +0000
SHA1 of .buildinfo
7bd666fa25fc136b627e8a0fad4c73f53ef62a76

Binaries

libssreflect-coq (libssreflect-coq_1.6-1_all.deb)
SHA1: 86346b1e41d6b59fc58390b09cff46a344f6f672
SHA256: 54d8757dfe92fe22312722482fca324c8f490886d95d20611f03a26be9603090

Size: 23,823,356 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6-1_i386.deb)
SHA1: b708c940b37d6b1029d2bf44d673c43a1743cbf5
SHA256: 8fcb832438d39f84d01bc2f7006e6bf1c459c7da3dfe7207115d1a51b1cba564

Size: 400,774 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6-1_i386.deb)
SHA1: 32b4bcce40ceb602093e67dffc327e43bb67fe61
SHA256: 656ece494447b76945d234382e92011564453eed4e01919fe1ecaa05b1694558

Size: 62,526 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6-1_i386.deb
SHA1: fffe7e26f39ff1994b1d4529e0d01c30ea5cc3d2
Size: 43,584 bytes

Submissions

Submitted
Tue, 27 Dec 2016 09:44:00 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1472565726"