Source
ssreflect
Version
1.9.0+dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 27 Dec 2020 21:21:32 +0000
Build-Path
/build/ssreflect-1.9.0+dfsg

First submitted
Mon, 25 Nov 2019 14:59:41 +0000
SHA1 of .buildinfo
80d99a5d734d169fde8f9d5b65854a75bd5fc96b

Binaries

libssreflect-coq (libssreflect-coq_1.9.0+dfsg-2_all.deb)
SHA1: b45578d6b679339c3ab76e5aaf9acec8359d9b26
SHA256: 08ef4dfd9e50d6f640a18f3bbbbf10c45765f8ec514e9bcad7e74d7751dd6af5

Size: 26,839,028 bytes

Other checksums

Submissions

Submitted
Mon, 25 Nov 2019 14:59:41 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1573809960"