8.16.0-3+b1
s390x
Debian
s390x
Sun, 23 Jul 2023 22:26:46 +0000
/build/reproducible-path/coq-corn-8.16.0
0ad0a060006295dd780f71caf5766f0cd8bdcefe
libcoq-corn_8.16.0-3+b1_s390x.deb
)
30298b5bde0f7d37bbc3d355ed9a578a013f0efd
c19145c4828d8def9b237799f06dbe6627d3a395773059c8a5c57df2901df602
0x150D4418DDF133A4
DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1690150225"