Source
ssreflect
Version
1.6.1-2
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 23 Jun 2017 05:32:40 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Fri, 23 Jun 2017 05:33:02 +0000
SHA1 of .buildinfo
775d59457feeeb7a01f27e7bca5671f2815744ed

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-2_all.deb)
SHA1: fb06c68c45c0b9825ac35776a0ba95b04712d71d
SHA256: 24b8274314567a028c94a1be8497b38025c7bc577f9bacf98e1ed97998413c61

Size: 24,171,378 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-2_arm64.deb)
SHA1: 6f783d6347ff78208657a3a27fa4bbe576c8177c
SHA256: 4a4d8fe5d96847f0194c7e0460e93defc6e66b3fc0cf6b0bd28c2ed309fb02dc

Size: 349,358 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-2_arm64.deb)
SHA1: d557da2abfa163cd0e84f9af1e1b6c999a14548f
SHA256: 399e7466adc5fde4d42b54c3d9ab3103e112ea292cd280e92b897deb0fdfe99c

Size: 63,774 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-2_arm64.deb
SHA1: 150e759bb8a45619cbef082fdb98eadcf0ba81bf
Size: 35,390 bytes

Submissions

Submitted
Fri, 23 Jun 2017 05:33:02 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ssreflect_1.6.1-2=/build/ssreflect-1.6.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483094351"