Source
ssreflect
Version
1.6.1-3
Architecture
all arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 18 Dec 2019 06:15:23 +0000
Build-Path
/build/ssreflect-1.6.1

First submitted
Wed, 14 Nov 2018 23:53:16 +0000
SHA1 of .buildinfo
48868951b315fe37a65caecf658cc9d595a7eb1d

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
Wed, 14 Nov 2018 23:53:17 +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"