1.12.0-1
all
Debian
armhf
Tue, 22 Jun 2021 23:29:01 +0000
/build/2/ssreflect-1.12.0/2nd
da4962509f1cf8071211e7494b36260558704004
libssreflect-coq_1.12.0-1_all.deb
)
8f7990f8920cf3b478f231fa52233297485f9b23
7c79b7609518ddca735656b07ab1a38c4fb78a053f40cf5d711ca9aface3edfe
0x58023F0702D8EEDD
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609598369"