Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 30 Nov 2017 18:47:32 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Thu, 30 Nov 2017 18:48:36 +0000
SHA1 of .buildinfo
52dd4378105a42540e362a471f4c133ec4cbb582

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 97bb889100998fefa96cbf200a4bec530414874b
SHA256: 3a1d801a0d50b1e1ead70d7b0257f802a518312dd729b820c54f3ace947ca03a

Size: 24,201,432 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
Thu, 30 Nov 2017 18:48:36 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (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=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"