1.14.0-2
all
Debian
amd64
Sat, 5 Feb 2022 22:04:07 +0000
/build/2/ssreflect-1.14.0/2nd
869d397b8350308b2e3e396290e20d69599fdd7b
libssreflect-coq_1.14.0-2_all.deb
)
a46c27e749321954b856c1735da385f84de9ba02
d32fd632581adddc80cb343bc15290a5ee379f339dff7343d331b3350cb189c9
0x5FA3DA39796FBACF
profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1644051307"