ssreflect_1.6.1-3_all.buildinfo (view)

Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 18 Dec 2018 23:57:01 +0000
Build-Path
/build/ssreflect-1.6.1/2nd

First submitted
Wed, 15 Nov 2017 17:34:46 +0000
SHA1 of .buildinfo
7725e6f95f6e13d7d2aea558d61d3fae6cdfda14

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 8daca02cae78ac8ae266ec30230a80c3ebc81f95
SHA256: 0eafed7c0dbc58dd8cab29c474896c860270cef45cc6fc125066251af0b60b74

Size: 24,201,468 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

wmsadvyz
Submitted
Wed, 15 Nov 2017 17:34:47 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"