Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 9 Jan 2020 19:54:20 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Fri, 7 Dec 2018 15:04:22 +0000
SHA1 of .buildinfo
c1519b69bd9e4c1048d490861ccacb2004f1a763

Binaries

libssreflect-coq (libssreflect-coq_1.6.1-3_all.deb)
SHA1: 342ab66498a291c3e89957725aa46dce06e6101a
SHA256: e34605fa8d08665556713dd95a3283641d0fa222e7a840c3aafeb234eda9ac29

Size: 24,199,360 bytes
libssreflect-ocaml (libssreflect-ocaml_1.6.1-3_arm64.deb)
SHA1: 7ebfac142c5a8918a99259c48e10c5e92f8f4f32
SHA256: 54aa109e9d78daab646cb464d7951a6353696d20caf9d76aacc7c0cf6b854686

Size: 454,056 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: a76ecb5d981faeab8d590ccbe2a391b56d8704d7
Size: 51,764 bytes

Submissions

Submitted
Fri, 7 Dec 2018 15:04:22 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1507538583"