2.6.2.2-1+b1
s390x
Debian
s390x
Tue, 27 Sep 2022 19:06:54 +0000
/build/agda-6j3FpW/agda-2.6.2.2
c89c10f78aee607eb59e83fbdeb0591a165d67d5
agda-bin_2.6.2.2-1+b1_s390x.deb
)
ca841a634e2df4a7c5f7330540e20ae4540e68dc
843598242433dc4904d768f7032781df2a31ea96701cc1a7688aa70298066c7c
libghc-agda-dev_2.6.2.2-1+b1_s390x.deb
)
a2234e8ab1483b38c55df0d37aed1815c55b61f3
ce632f9b106d6557186b5dddc498f38b5cd494b5b74e8f62f97b3861a5eccedc
0x5E6C03B7704A09D2
DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1664301935"