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

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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Fri, 28 Oct 2022 09:36:45 +0000
Build-Path
/build/agda-sgJnZB/agda-2.6.2.2

First submitted
Fri, 28 Oct 2022 12:18:11 +0000
SHA1 of .buildinfo
a44c7d2affa74ca6a36564b10b667b5d8b43ea35

Binaries

agda-bin (agda-bin_2.6.2.2-1+b2_s390x.deb)
SHA1: b0f7d127d29f8b36cac805f67fa5c4a862a390d6
SHA256: cd654f626e0b2dfcd96ad5f5dff3b96508f20152b4b5139697310f058d1a689b

Size: 20,209,292 bytes
libghc-agda-dev (libghc-agda-dev_2.6.2.2-1+b2_s390x.deb)
SHA1: 412098f33d2a82862f7058c510f01ecd3a243cb6
SHA256: 8fbb5515981479ea5dee5e4424eecc0a5e76fff27d871cb44a66eb54e70c8f84

Size: 39,573,008 bytes

Other checksums

Submissions

sx4be3yp
Submitted
Fri, 28 Oct 2022 12:18:12 +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="1666945276"