Source
ssreflect
Version
1.6.1-3
Architecture
all amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 9 Feb 2018 04:39:46 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Fri, 9 Feb 2018 04:40:00 +0000
SHA1 of .buildinfo
3626c42a5b2ab18279e209bc02f3794ebc3924ca

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 56bdd97e49f088673ae7b7123aeccda1b98eda27
SHA256: abb5d02904f46ab719dcd06447a23ad23b9b738dae924f0884514c5a2a66fc81

Size: 24,206,768 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_amd64.deb)
SHA1: 715a3ed4fd27de96597075622e980f70492f6c84
SHA256: 97657aabf69de76ccecbdda8f47bdb5e6143240ffdf57360d355e346ec8622e0

Size: 404,308 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: 25390ad1a17d04c6b4d6b9aa7dfc2bf41b420687
Size: 36,740 bytes

Submissions

Submitted
Fri, 9 Feb 2018 04:40:00 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (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=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"