2.6.2.2-1+b2
mips64el
Debian
mips64el
Tue, 1 Nov 2022 09:04:24 +0000
/build/agda-ALvOMv/agda-2.6.2.2
70266ba751cd1e1cd82c8a6aaf129fec850b8b2d
agda-bin_2.6.2.2-1+b2_mips64el.deb
)
c1f9e3016f81ee610d310284d01238895fda5688
d6c0a2adc5ae1dda8e72ee541346de9b40680c642b4e1a38a22d9cdd125f021c
libghc-agda-dev_2.6.2.2-1+b2_mips64el.deb
)
529fd2e626d756cc0c914fdae24fffc280a6588b
a370c38cfa1f1827e39c276c642dea5d46f671f2a4ef9a84f8a7274813896fd1
0xAAC7A045085C24D9
DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1667209670"