Source
ssreflect
Version
1.14.0-3
Architecture
all

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 11 Feb 2022 17:01:49 +0000
Build-Path
/build/ssreflect-1.14.0

First submitted
Fri, 11 Feb 2022 20:22:40 +0000
SHA1 of .buildinfo
9a664fc50a14b72b004219c38aa853f1fe28d037

Binaries

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

Size: 26,633,680 bytes

Other checksums

Submissions

Submitted
Fri, 11 Feb 2022 20:22:41 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


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