agda (2.6.1-1)_2.6.1-1+b3_s390x.buildinfo (view)

Source
agda (2.6.1-1)
Version
2.6.1-1+b3
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Thu, 20 Aug 2020 00:32:42 +0000
Build-Path
/build/agda-RB2SIO/agda-2.6.1

First submitted
Thu, 20 Aug 2020 06:11:13 +0000
SHA1 of .buildinfo
2370872e2b5b6ad842dce1d44a20e6a554e26a61

Binaries

agda-bin (agda-bin_2.6.1-1+b3_s390x.deb)
SHA1: 6fd1ef8a811ec73a9f16a840e80c6bb5ba5bc638
SHA256: 63097984f4a6e0879f51158fd0411360fbcfb2a936b8168e268d912cea5cc146

Size: 23,832,156 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b3_s390x.deb)
SHA1: 11d8b93027080e2a596c732ca58370c9d31ba064
SHA256: 8177e67df94971caf5edc7eb6cd0b15897236b60fa3fbfb68400deb8b1ef465a

Size: 57,990,816 bytes

Other checksums

Submissions

uhu4dpcr
Submitted
Thu, 20 Aug 2020 06:11:14 +0000
Signed by
0xB5B68F9C8464675F

Environment


DEB_BUILD_OPTIONS="parallel=2"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1597878490"