1.10.0+dfsg-1
all
Debian
armhf
Wed, 11 Dec 2019 14:53:24 +0000
/build/ssreflect-1.10.0+dfsg
29ff57b5c60000bda6234ab59026bfb5e3adb28c
libssreflect-coq_1.10.0+dfsg-1_all.deb
)
9742e97478badd7cbfb5736ef3d828e5a7c9240e
75e2b44082fceeb6d3b1fd15d3ff82794b61bc73530e9a7baa56e93efcbca2e3
0x47D54348B9BAA515
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=6"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1575583565"