Source
ssreflect
Version
1.11.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 3 Oct 2020 21:33:28 +0000
Build-Path
/build/1st/ssreflect-1.11.0

First submitted
Sun, 4 Oct 2020 00:07:31 +0000
SHA1 of .buildinfo
e5134e6e53ccdb28017af063db45b8552e70a80d

Binaries

libssreflect-coq (libssreflect-coq_1.11.0-1_all.deb)
SHA1: dc9e36fe671a511f725bbe917caa200946408f7d
SHA256: 1239517dc0dc2a8cf4840eab7fda21e38c3b84eef5e3b5a673b3ce77a8f07eb8

Size: 25,645,784 bytes

Other checksums

Submissions

Submitted
Sun, 4 Oct 2020 00:07:31 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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="1599805929"