agda (2.6.2.2-1)_2.6.2.2-1+b2_mips64el.buildinfo (view)

Source
agda (2.6.2.2-1)
Version
2.6.2.2-1+b2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Tue, 1 Nov 2022 09:04:24 +0000
Build-Path
/build/agda-ALvOMv/agda-2.6.2.2

First submitted
Tue, 1 Nov 2022 12:12:17 +0000
SHA1 of .buildinfo
70266ba751cd1e1cd82c8a6aaf129fec850b8b2d

Binaries

agda-bin (agda-bin_2.6.2.2-1+b2_mips64el.deb)
SHA1: c1f9e3016f81ee610d310284d01238895fda5688
SHA256: d6c0a2adc5ae1dda8e72ee541346de9b40680c642b4e1a38a22d9cdd125f021c

Size: 15,292,044 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b2_mips64el.deb)
SHA1: 529fd2e626d756cc0c914fdae24fffc280a6588b
SHA256: a370c38cfa1f1827e39c276c642dea5d46f671f2a4ef9a84f8a7274813896fd1

Size: 36,478,080 bytes

Other checksums

Submissions

re9swnkj
Submitted
Tue, 1 Nov 2022 12:12:17 +0000
Signed by
0xAAC7A045085C24D9

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1667209670"