1.14.0-3
all
Debian
armhf
Sun, 6 Feb 2022 22:25:11 +0000
/build/2/ssreflect-1.14.0/2nd
d0d7f408e870822ab6eb95b8af029c5935a7f823
libssreflect-coq_1.14.0-3_all.deb
)
856b3d04b718b46d342695210c4d77b8de34a33b
8e0295e74143aee0d9ae2d8f10c33f37dd8f4b1e4d7c6fc2ad32debe7b31f7f7
0x2EB7D8A099C83DD8
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1644134154"