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

Source
agda (2.6.2.2-1)
Version
2.6.2.2-1+b1
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Tue, 27 Sep 2022 19:06:54 +0000
Build-Path
/build/agda-6j3FpW/agda-2.6.2.2

First submitted
Wed, 28 Sep 2022 00:12:14 +0000
SHA1 of .buildinfo
c89c10f78aee607eb59e83fbdeb0591a165d67d5

Binaries

agda-bin (agda-bin_2.6.2.2-1+b1_s390x.deb)
SHA1: ca841a634e2df4a7c5f7330540e20ae4540e68dc
SHA256: 843598242433dc4904d768f7032781df2a31ea96701cc1a7688aa70298066c7c

Size: 20,228,352 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b1_s390x.deb)
SHA1: a2234e8ab1483b38c55df0d37aed1815c55b61f3
SHA256: ce632f9b106d6557186b5dddc498f38b5cd494b5b74e8f62f97b3861a5eccedc

Size: 39,584,012 bytes

Other checksums

Submissions

7bpjrudt
Submitted
Wed, 28 Sep 2022 00:12:14 +0000
Signed by
0x5E6C03B7704A09D2

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1664301935"