1.1.1-1+b3
s390x
Debian
s390x
Tue, 13 Sep 2022 12:47:17 +0000
/build/coqeal-ofcKZC/coqeal-1.1.1
25022848d8a33298bd9e3af60ae6e09c2e85ce9f
libcoq-coqeal_1.1.1-1+b3_s390x.deb
)
fcda8c2f764e559c8c32c969eb7b781621a94242
0da7248541319df7c00f9c463c859cd29d6d88639b4851fc996049ff5ddbf341
0x5E6C03B7704A09D2
DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1663073110"