8.16.0-1+b2
ppc64el
Debian
ppc64el
Wed, 30 Nov 2022 04:29:20 +0000
/build/coq-corn-rD9pWq/coq-corn-8.16.0
cb8b72c34bd344e62a6464a816c4b953d099ba3b
libcoq-corn_8.16.0-1+b2_ppc64el.deb
)
d343bc782100983c664fd99c1402a7e5c43cfe84
117bf733916ee113e88a2695db533fd0a07d27f298b33abc3386091517e794d0
0x667113CDA6A60D2C
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1669781497"