1.2.0+1.12+8.13-3
ppc64el
Debian
ppc64el
Mon, 23 May 2022 12:22:29 +0000
/build/mathcomp-zify-SxI6Fb/mathcomp-zify-1.2.0+1.12+8.13
d0e716aec04e322cfe2eb816914eb0964868569f
libcoq-mathcomp-zify_1.2.0+1.12+8.13-3_ppc64el.deb
)
991f5c4f41abc2ee11df5d681c593e395ec887c9
1654b7a603e8c834dbb90545ef36b869643cdd14599876b6b2cb612624dd305a
0x434BE1F07F07C6FC
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1653306530"