1.12.0-1
all
Debian
armhf
Fri, 12 Nov 2021 03:48:50 +0000
/build/2/ssreflect-1.12.0/2nd
21c75920907d7b5130bb62a9e007995e762b7f49
libssreflect-coq_1.12.0-1_all.deb
)
0bdb2ceff479485fde7137a550a76168b8f8641b
671f843f315e5d1a447f40e924b5819b5e78e37c2da0abe2ecc6854ac2593030
0xFD20BBE472905784
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1609598369"