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

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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Sat, 1 Aug 2020 08:52:20 +0000
Build-Path
/build/agda-6KXqfT/agda-2.6.1

First submitted
Sat, 1 Aug 2020 12:11:54 +0000
SHA1 of .buildinfo
2933b2d2bdaa3169ff01b500cd5a086c8e70c222

Binaries

agda-bin (agda-bin_2.6.1-1+b1_s390x.deb)
SHA1: a70b417aa1d94e61db0c4ddef5409a806d817f39
SHA256: 8aec37a0de0d130b2ad199483ab43757904a2f17624707cb4f3f0a3306aa64e3

Size: 23,876,372 bytes
libghc-agda-dev (libghc-agda-dev_2.6.1-1+b1_s390x.deb)
SHA1: f3d284740e06542e7739e75f20d179d77ec66f8d
SHA256: 64ce7d74fe3e213cba3c82d3fcc5371ca35a4bd3edd133e9ed366c31d1c172c5

Size: 58,030,896 bytes

Other checksums

Submissions

mpzcbvfv
Submitted
Sat, 1 Aug 2020 12:11:55 +0000
Signed by
0xB5B68F9C8464675F

Environment


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