Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 15 Nov 2017 16:05:09 +0000
Build-Path
/build/1st/ssreflect-1.6.1

First submitted
Wed, 15 Nov 2017 17:34:42 +0000
SHA1 of .buildinfo
fcbafd6d433b5d0de82e790af81405d720615518

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 2865b46b00861cac15daef19183517eb0b8601f2
SHA256: 749a521f8041c59b9f24d4047f84f4eb00f5a797373170bffdadc41e29397ae7

Size: 24,202,332 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_arm64.deb)
SHA1: eb08091a17bb4b28ddd1afb78b9097cd84389a4f
SHA256: 559e9dce6e5c155358dc18e903ecb52f453d3f752646d81e36f18b8e89a10595

Size: 454,464 bytes
libssreflect-ocaml-dev (libssreflect-ocaml-dev_1.6.1-3_arm64.deb)
SHA1: d2bd70d0dc69f40723ec2a40bee327773053c961
SHA256: 5e9014d984dc9ce35fdf9c1fe9e8461615f3097735ef366bf8f3b509cbc7bab8

Size: 63,488 bytes

Other checksums

libssreflect-ocaml-dbgsym_1.6.1-3_arm64.deb
SHA1: b645b38b84340c5a1aadf42d4d3d82d02bfa023a
Size: 51,388 bytes

Submissions

Submitted
Wed, 15 Nov 2017 17:34:43 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="ssreflect_1.6.1-3=/build/1st/ssreflect-1.6.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"