1.1.1-1+b2
ppc64el
Debian
ppc64el
Fri, 9 Sep 2022 15:16:30 +0000
/build/coqeal-CHp1Qt/coqeal-1.1.1
c07f34f4b3eb854e3bf279c011211e3644796ebe
libcoq-coqeal_1.1.1-1+b2_ppc64el.deb
)
5608491e15f2faba84fdaa7beadae82ab80077c9
2a9308af000be320d30fb699678851c85f3d7d26eb9f984ddd3bf1c131762531
0x0823125B9FD67002
DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1662736502"