1.11.0-2
all
Debian
amd64
Fri, 14 Jan 2022 02:05:10 +0000
/build/ssreflect-1.11.0
94dfcf310bb3550ab3eebaefa4cc21754143d2df
libssreflect-coq_1.11.0-2_all.deb
)
87a013f4195c454a6c085624863e96d1e317c00f
0fdfca6d7cdb30043a59fb1c9475c4b1fa77894f5d8f1069fc9c6394ec6143c1
0x1BD40F376E003684
profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1604471154"