Source
ssreflect
Version
1.9.0+dfsg-2
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 25 Nov 2019 13:23:40 +0000
Build-Path
/build/ssreflect-1.9.0+dfsg

First submitted
Mon, 25 Nov 2019 14:59:39 +0000
SHA1 of .buildinfo
b5c1d6988bb1e51ab99e110ad33ff4e9a74e8c7e

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:39 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"