1.1.1-1+b1
s390x
Debian
s390x
Wed, 17 Aug 2022 04:14:54 +0000
/build/coqeal-amuJJZ/coqeal-1.1.1
3b82e6c50c8fa28aecfb40cc832f296f80bab311
libcoq-coqeal_1.1.1-1+b1_s390x.deb
)
d137e34851780fe0ae0ecdac1532d4d75730d0f5
5ab7350b579db2a042b1d4f4c4644c4534ea7785c3325c984887769652e030d4
0xD9FB15E7E713BF1A
DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1660709558"