1.12.0-1
all
Debian
armhf
Sun, 25 Jul 2021 01:34:07 +0000
/build/2/ssreflect-1.12.0/2nd
84ec9091d85e7957c6dc9239a2428d73d3154952
libssreflect-coq_1.12.0-1_all.deb
)
8f7990f8920cf3b478f231fa52233297485f9b23
7c79b7609518ddca735656b07ab1a38c4fb78a053f40cf5d711ca9aface3edfe
0x2738E803AC4FE478
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609598369"