Source
ssreflect
Version
1.10.0+dfsg-1
Architecture
all

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 8 Jan 2021 23:11:18 +0000
Build-Path
/build/1st/ssreflect-1.10.0+dfsg

First submitted
Sat, 7 Dec 2019 19:22:39 +0000
SHA1 of .buildinfo
971e8f3e03bc58bee4d5169f1ef24efaa261da4e

Binaries

libssreflect-coq (libssreflect-coq_1.10.0+dfsg-1_all.deb)
SHA1: 0e331eef48e5b572ce65f58862d670a68ea1372f
SHA256: a8e4200c7c74dcf2da9819a068ac4ff78f649930986a2c33cff9df8c5197fc9b

Size: 27,040,172 bytes

Other checksums

Submissions

Submitted
Sat, 7 Dec 2019 19:22:39 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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="1575583565"