Source
ssreflect
Version
1.14.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 25 Jan 2022 03:30:48 +0000
Build-Path
/build/1st/ssreflect-1.14.0

First submitted
Tue, 25 Jan 2022 05:56:20 +0000
SHA1 of .buildinfo
7374eda090ecbeb68424f4612a721dc53a6afbed

Binaries

libssreflect-coq (libssreflect-coq_1.14.0-1_all.deb)
SHA1: 2cb257dde0814440a637bb17257a2f4ca8db1ac1
SHA256: f6201d881f33cc2a8c76f5f436bf732b504778665f6e241440bd4f47e38d0204

Size: 26,636,596 bytes

Other checksums

Submissions

Submitted
Tue, 25 Jan 2022 05:56:21 +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="1643012113"