Source
ssreflect
Version
1.14.0-3
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 6 Feb 2022 22:25:11 +0000
Build-Path
/build/2/ssreflect-1.14.0/2nd

First submitted
Sun, 6 Feb 2022 22:26:18 +0000
SHA1 of .buildinfo
d0d7f408e870822ab6eb95b8af029c5935a7f823

Binaries

libssreflect-coq (libssreflect-coq_1.14.0-3_all.deb)
SHA1: 856b3d04b718b46d342695210c4d77b8de34a33b
SHA256: 8e0295e74143aee0d9ae2d8f10c33f37dd8f4b1e4d7c6fc2ad32debe7b31f7f7

Size: 26,633,680 bytes

Other checksums

Submissions

Submitted
Sun, 6 Feb 2022 22:26:18 +0000
Signed by
0x2EB7D8A099C83DD8

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1644134154"