8.16.0-2+b1
ppc64el
Debian
ppc64el
Tue, 14 Feb 2023 12:54:58 +0000
/build/coq-corn-L6REOS/coq-corn-8.16.0
92d7347575fca0ddecad854fa11ad03d8bd1eed8
libcoq-corn_8.16.0-2+b1_ppc64el.deb
)
27160b76cd108299ba33b3783ca1add4331190fb
cf501740305400b1c5aa7da592599c4f3a1cdb4fb2c7775c9bdd8e131567264d
0x667113CDA6A60D2C
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1676378240"