ssreflect_1.14.0-1_all.buildinfo (view)

Source
ssreflect
Version
1.14.0-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 8 Mar 2023 23:35:01 +0000
Build-Path
/build/ssreflect-1.14.0

First submitted
Thu, 3 Feb 2022 19:44:32 +0000
SHA1 of .buildinfo
675fdc3a5be09bab738239a597e7e983918e88b8

Binaries

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

Size: 26,636,596 bytes

Other checksums

Submissions

w4vkngrj
Submitted
Thu, 3 Feb 2022 19:44:32 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"