1.5.0+2.0+8.16-1
amd64
Debian
amd64
Thu, 4 Apr 2024 08:43:55 +0000
/build/reproducible-path/mathcomp-zify-1.5.0+2.0+8.16
8ee9eaa42234a35f88fee2e4a3115e902b87bd79
libcoq-mathcomp-zify_1.5.0+2.0+8.16-1_amd64.deb
)
1e0a1c784522a3c3392b3345102372238f9af27e
83a9c192b2928a24628c6faf74c2e933fa890ea01296b272e7b76121534af30c
0x5E6515A71A831546
DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703240845"